|
| No TPTP formula. May not be expressible in strict first order. | People.kif 829-829 | Anglican church is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1239-1239 | Angry facial expression is a subclass of emotional facial expression |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1943-1943 | Angry voice utterance is a subclass of emotional voice utterances |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 496-496 | Angular artery terminal branch is a subclass of facial artery |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18099-18099 | Animacy attribute is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14468-14468 | Animal is a subclass of organism |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15018-15018 | Animal anatomical structure is a subclass of anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2734-2734 | Animal controller is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2405-2405 | Toy animal is a subclass of doll |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2871-2871 | Animal fat is a subclass of oil |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4343-4343 | Animal guiding is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1415-1415 | Animal language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2762-2762 | Animal powered device is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5009-5009 | AnimalProduct is a subclass of product |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6990-6990 | Animal residence is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11524-11524 | Animal shell is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11525-11525 | Animal shell is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14834-14834 | Animal substance is a subclass of body substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7513-7513 | Animal team is a subclass of group of animals |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12723-12723 | Ankle is a subclass of body joint |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1104-1104 | Tarsal bone is a subclass of foot bone |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14518-14518 | Announcement is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2021-2021 | Loss of smell is a subclass of impairment in smelling |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 639-639 | Ansa cervicalis is a subclass of nerve |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 894-894 | Answering is a subclass of stating |
| 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