|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5654-5654 | Back is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12094-12094 | Hypothalamus is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1658-1658 | Jaw is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12550-12550 | Limb is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11589-11589 | Lip is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11850-11850 | Medulla is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11422-11422 | Mouth is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15229-15229 | Muscle is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6097-6097 | Septum is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12871-12871 | Neck is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11878-11878 | Occipital lobes is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15110-15110 | Organ is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11862-11862 | Parietal lobe is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9474-9474 | Plant branch is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11856-11856 | Pons is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15018-15018 | Reproductive body is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12781-12781 | Shoulder is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11651-11651 | Skeleton is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11885-11885 | Temporal lobes is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12758-12758 | Toe is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11434-11434 | Tongue is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12807-12807 | Torso is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1100-1100 | Virus part is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 805-805 | Vocal fold is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12823-12823 | Waist is a subclass of body part |
| 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