|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1575-1575 | AP c is a subclass of armored vehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1573-1573 | AP c is a subclass of land vehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1571-1571 | AP c is a subclass of military vehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1572-1572 | AP c is a subclass of passenger vehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1574-1574 | AP c is a subclass of powered vehicle |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3587-3587 | ATM machine is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3663-3663 | ATM slot is a subclass of hole |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4818-4818 | Atv tire is a subclass of tire |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2137-2137 | Audio/Video Control Transport Protocol is a subclass of computer program |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 316-316 | Abalone is a subclass of mollusk |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 514-514 | Abayah is a subclass of cloak |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1222-1222 | Abbey is a subclass of religious organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12278-12278 | Abdomen is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14666-14666 | Abnormal anatomical structure is a subclass of anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1887-1887 | Abort is a subclass of computer process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20804-20804 | Aborting is a subclass of removing |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 955-955 | Above the line is a subclass of joint publication |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 438-438 | Abrin toxin is a subclass of protein |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 437-437 | Abrin toxin is a subclass of toxin |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 387-387 | Absolut is a subclass of Vodka |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1434-1434 | Absolute altimeter is a subclass of altimeter |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1391-1391 | Absolute dud is a subclass of nuclear weapon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1363-1363 | Absolute filter is a subclass of filter |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1609-1609 | Abstract is a subclass of entity |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1616-1616 | Abstraction level attribute is a subclass of timing requirement attribute |
| 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