AnimalAnatomicalStructure(animal anatomical structure) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3495-3496 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14997-14998 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23721-23721 | Every animal anatomical structure is initially part of a animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14996-14996 | Animal anatomical structure is a subclass of anatomical structure |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14915-14915 | Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12817-12817 | Abdomen is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11092-11092 | Alveolus is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11525-11525 | Animal shell is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10152-10152 | Blood cell is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11078-11078 | Blood vessel is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11847-11847 | Brain is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12828-12828 | Breast is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11066-11066 | Bronchial duct is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11213-11213 | Chest is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12918-12918 | Chin is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12481-12481 | Digit appendage is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12141-12141 | Ear is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15025-15025 | Egg is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11669-11669 | Exoskeleton is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12107-12107 | Eye is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12882-12882 | Face is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20336-20336 | Feather is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12697-12697 | Foot is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12051-12051 | GI 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 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11781-11781 | Hair is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12469-12469 | Hand is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12865-12865 | Head is a subclass of animal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11336-11336 | Heart is a subclass of animal anatomical structure |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15000-15005 |
|