|
|
   AnimalAnatomicalStructure
|
|
|
| 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 15043-15044 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23778-23778 | Every animal anatomical structure is initially part of a animal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15042-15042 | 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 14961-14961 | 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 12844-12844 | Abdomen is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11119-11119 | Alveolus is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11552-11552 | Animal shell is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10179-10179 | Blood cell is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11105-11105 | Blood vessel is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11874-11874 | Brain is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12855-12855 | Breast is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11093-11093 | Bronchial duct is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11240-11240 | Chest is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12945-12945 | Chin is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12508-12508 | Digit appendage is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12168-12168 | Ear is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15071-15071 | Egg is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11696-11696 | Exoskeleton is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12134-12134 | Eye is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12909-12909 | Face is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20363-20363 | Feather is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12724-12724 | Foot is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12078-12078 | 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 11808-11808 | Hair is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12496-12496 | Hand is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12892-12892 | Head is a subclass of animal anatomical structure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11363-11363 | 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 15046-15051 |
|
|
|
|