|
| 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 12093-12093 | 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 12549-12549 | Limb is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11588-11588 | Lip is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11849-11849 | Medulla is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11421-11421 | Mouth is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15251-15251 | Muscle is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6096-6096 | Septum is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12870-12870 | Neck is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11877-11877 | Occipital lobes is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15132-15132 | Organ is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11861-11861 | Parietal lobe is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9473-9473 | Plant branch is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11855-11855 | Pons is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15040-15040 | Reproductive body is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12780-12780 | Shoulder is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11650-11650 | Skeleton is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11884-11884 | Temporal lobes is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12757-12757 | Toe is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11433-11433 | Tongue is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12806-12806 | Torso is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1099-1099 | 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 12822-12822 | 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