|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11091-11091 | Alveolus is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11090-11090 | Alveolus is a subclass of body vessel |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11350-11350 | Amami okinawan language is a subclass of ryukyuan language |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2091-2091 | Amaretto is a subclass of liqueur |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1061-1061 | Ambience is a subclass of subjective assessment attribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3105-3105 | Ambience rating is a subclass of rating attribute |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1903-1903 | Ambulance is a subclass of emergency road vehicle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11160-11160 | Ambulating is a subclass of body motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11161-11161 | Ambulating is a subclass of intentional process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11162-11162 | Ambulating is a subclass of translocation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21750-21750 | Ambush is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 35-35 | American city is a subclass of city |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3452-3452 | American express card is a subclass of credit card |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 21-21 | American state is a subclass of state or province |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1303-1303 | Americano is a subclass of coffee |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28901-28901 | Americium is a subclass of elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3481-3481 | Amerindian pidgin language is a subclass of pidgin language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8694-8694 | Amino acid is a subclass of chemical acid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8695-8695 | Amino acid is a subclass of organic compound |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5437-5437 | Aminopenicillin is a subclass of penicillin |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4782-4782 | Amphetamine is a subclass of controlled substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4783-4783 | Amphetamine is a subclass of stimulant |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14578-14578 | Amphibian is a subclass of cold blooded vertebrate |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 765-765 | Amphibious reconnaissance is a subclass of reconnaissance operation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 792-792 | Amphibious reconnaissance unit is a subclass of military force |
| 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