|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25546-25546 | Am / fm alarm clock is a subclass of alarm clock |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25547-25547 | Am / fm alarm clock is a subclass of radio receiver |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 293-293 | AM radio station is a subclass of radio station |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 236-236 | AM radio system is a subclass of radio system |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3169-3169 | AOC number is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1575-1575 | APC is a subclass of armored vehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1573-1573 | APC is a subclass of land vehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1571-1571 | APC is a subclass of military vehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1572-1572 | APC is a subclass of passenger vehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1574-1574 | APC is a subclass of powered vehicle |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3583-3583 | ATM machine is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3659-3659 | ATM slot is a subclass of hole |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4815-4815 | Atv tire is a subclass of tire |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2169-2169 | Audio/Video Control Transport Protocol is a subclass of computer program |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6412-6412 | AVPU status is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1988-1988 | Abalone is a subclass of mollusk |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4945-4945 | Abatacept is a subclass of Immunosupressant |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 527-527 | Abayah is a subclass of cloak |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1212-1212 | Abbey is a subclass of religious organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12817-12817 | Abdomen is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1272-1272 | Abdominal aorta is a subclass of artery |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 135-135 | Abducens nerve [CNVI] is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1608-1608 | Abductor digiti minimi muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2127-2127 | Abductor hallucis muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1581-1581 | Abductor pollicis brevis muscle is a subclass of muscle |
| 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