| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 416-418 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 411-415 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 408-408 | The number 1 argument of documentation is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 409-409 | The number 2 argument of documentation is an instance of human language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 410-410 | The number 3 argument of documentation is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 407-407 | documentation is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 97-97 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 75-75 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 71-71 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 81-81 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 23-23 | |
| No TPTP formula. May not be expressible in strict first order. | arabic_format.kif 21-21 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 110-110 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 121-121 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 115-115 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 98-98 | "文档" is the printable form of documentation in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3764-3764 | "documentation" is the printable form of documentation in english language |
| No TPTP formula. May not be expressible in strict first order. | arabic_format.kif 471-471 | "«تَفْسير»" is the printable form of documentation in ar |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 178-178 | "kasulutan" is the printable form of documentation in tg |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2444-2444 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1171-1174 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1649-1657 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3430-3431 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4615-4617 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23970-23971 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1124-1133 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1205-1230 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1138-1150 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1890-1895 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1178-1184 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23055-23056 | |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 295-296 | |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 237-239 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3086-3088 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2820-2822 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1575-1584 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5380-5389 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3473-3474 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3475-3479 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3552-3552 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4828-4829 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2534-2537 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3772-3774 | |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 508-510 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners