Свойства объекта
| Дескриптор | |
| название | formal ontology |
| язык | английский |
| релятор | |
| определение 1 | An ontology whose categories are distinguished by axioms and definitions stated in logic or in some computer-oriented language that could be automatically translated to logic. |
| автор словарной статьи | Захаров В.П. |
Связи объекта |
|
| Выше (BT) | |
| Дескриптор | |
| ontology | |
| Дается определение в (SourceDef) | |
| Источник | определение |
| Книга Sowa J.F. | 1 |
| Подобласть знаний(SubArea) | |
| Подобласть знаний | |
| 3.2. Онтологии и тезаурусы – Ontologies and thesauri | |
| Эквивалент на другом языке (Trans) | |
| Дескриптор | |
| формальная онтология | |