|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17944-17944 | approximate diameter is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29834-29834 | approximate value is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2071-2071 | arable land area is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5962-5962 | arc weight is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1311-1311 | area of operation is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2423-2423 | associate in organization is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 340-340 | associated functionality is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3028-3028 | at the money is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13769-13769 | atomic number is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 444-444 | attorney is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1718-1718 | attribute is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23044-23044 | aunt is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15454-15454 | authors is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5358-5358 | average is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17462-17462 | axis is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1052-1052 | bandwidth of is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3937-3937 | bank account is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 176-176 | baptizedmdate is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 190-190 | baptizedplace is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7813-7813 | barometric pressure is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1185-1185 | batch inter arrival is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1179-1179 | batch latency is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8136-8136 | before or equal is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2808-2808 | believes is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1646-1646 | benchmark is an instance of binary predicate |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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