| 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 10151-10151 | Blood cell is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10753-10753 | Nerve cell is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10938-10938 | Spinal column is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10969-10969 | Tail is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10986-10986 | Skin is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11052-11052 | Retina is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11065-11065 | Bronchial duct is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11077-11077 | Blood vessel is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11091-11091 | Alveolus is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11186-11186 | Lung is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11212-11212 | Chest is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11238-11238 | Rib cage is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11266-11266 | Kidney is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11285-11285 | Spleen is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11312-11312 | Nostril is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11335-11335 | Heart is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11386-11386 | Pericardial sac is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11416-11416 | Liver is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11420-11420 | Mouth is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11432-11432 | Tongue is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11445-11445 | Nervous system is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11456-11456 | Hoof is a subclass of animal anatomical structure |
| 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 11587-11587 | Lip is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11649-11649 | Skeleton is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11668-11668 | Exoskeleton is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11720-11720 | Throat is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11780-11780 | Hair is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11846-11846 | Brain is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12024-12024 | Stomach is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12033-12033 | Intestine is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12050-12050 | GI is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12070-12070 | Rectum is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12084-12084 | Respiratory tract is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12094-12094 | Hypothalamus is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12106-12106 | Eye is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12140-12140 | Ear is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12189-12189 | Nose is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12468-12468 | Hand is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12480-12480 | Digit appendage is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12519-12519 | Nail is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12548-12548 | Limb is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12696-12696 | Foot is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12756-12756 | Toe is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12779-12779 | Shoulder is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12805-12805 | Torso is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12816-12816 | Abdomen is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12827-12827 | Breast is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12864-12864 | Head is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12869-12869 | Neck is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12881-12881 | Face is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12917-12917 | Chin is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20335-20335 | Feather is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15047-15047 | Egg is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 265-265 | Gills is a subclass of animal anatomical structure |
|
|