|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2019-2019 | Amphibious vehicle is a subclass of land vehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2020-2020 | Amphibious vehicle is a subclass of water vehicle |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 497-497 | Amphipathic molecule is a subclass of molecule |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 990-990 | Amplifier is a subclass of electrical circuit |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6248-6248 | Amputation is a subclass of removing |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5329-5329 | Amto musan language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10097-10097 | Anabolic process is a subclass of chemical synthesis |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10096-10096 | Anabolic process is a subclass of metabolising |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12584-12584 | Anaconda is a subclass of constrictor snake |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8231-8231 | Anaerobic exercise device is a subclass of recreation or exercise device |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6392-6392 | Painkiller is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1536-1536 | Anaphylaxis is a subclass of allergic reaction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14935-14935 | Anatomical structure is a subclass of organic object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4239-4239 | Anchor is a subclass of attaching device |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 921-921 | Anchorage is a subclass of water area |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1369-1369 | Anconeus muscle is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5359-5359 | Andamanese language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5774-5774 | Andaqui group language is a subclass of barbacoan language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12287-12287 | Androgen is a subclass of hormone |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 28-28 | Android is a subclass of phone OS |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1021-1021 | Anesthesia is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 940-940 | Anesthetizing is a subclass of therapeutic process |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1982-1982 | Angel is a subclass of deity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6313-6313 | Angle measure is a subclass of constant quantity |
| No TPTP formula. May not be expressible in strict first order. | People.kif 838-838 | Anglican Apostolic Episcopal free church is a subclass of church |
| 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