| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1496-1498 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 372-376 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 368-368 | The number 1 argument of documentation is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 369-369 | 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 370-370 | 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 367-367 | 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 97-97 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20056-20056 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 98-98 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20055-20055 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20054-20054 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2443-2443 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1172-1175 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1650-1658 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3429-3430 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4620-4622 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24455-24456 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1125-1134 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1206-1231 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1139-1151 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1891-1896 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1179-1185 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23491-23492 | |
| 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 3148-3150 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2821-2823 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1576-1585 | |
| 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 3472-3473 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3482-3486 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3559-3559 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4797-4798 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2118-2124 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2110-2116 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2126-2132 | |
| 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 3.0 is open source software produced by Articulate Software and its partners