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 |