| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14949-14949 | Body part is a subclass of anatomical structure |
| 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 6097-6097 | Septum 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 10572-10572 | Body segment is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10879-10879 | Cell part 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. | 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 11458-11458 | Hoof is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11526-11526 | Animal shell 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 11651-11651 | Skeleton is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11670-11670 | Exoskeleton 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 11856-11856 | Pons 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 11870-11870 | Frontal lobe 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. | 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 12094-12094 | Hypothalamus is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12134-12134 | Cornea is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12482-12482 | Digit appendage 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 12758-12758 | Toe 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 12807-12807 | Torso 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 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12866-12866 | Head 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 12883-12883 | Face is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12919-12919 | Chin is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20337-20337 | Feather 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. | Merge.kif 15072-15072 | Body covering is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15086-15086 | Body junction is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15098-15098 | Body cavity is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15106-15106 | Cell 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. | Merge.kif 15201-15201 | Bone 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. | Medicine.kif 5654-5654 | Back is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2546-2546 | Egg yolk is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 259-259 | Sternum is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1434-1434 | Eyebrow is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1483-1483 | Forehead is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1611-1611 | Pinna is a subclass of body part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1623-1623 | Myringa 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 |
|
|