|
|
   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 14997-14998 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23721-23721 | initialPart AnimalAnatomicalStructure and animal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14996-14996 | AnimalAnatomicalStructure est une sous-classe de structure anatomique |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14915-14915 | Structure anatomique est compl�tement d�compos� en AnimalAnatomicalStructure + PlantAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12817-12817 | Abdomen est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11092-11092 | Alveolus est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11525-11525 | AnimalShell est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10152-10152 | BloodCell est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11078-11078 | BloodVessel est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11847-11847 | Brain est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12828-12828 | Breast est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11066-11066 | BronchialDuct est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11213-11213 | Chest est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12918-12918 | Chin est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12481-12481 | DigitAppendage est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12141-12141 | Ear est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15025-15025 | Egg est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11669-11669 | Exoskeleton est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12107-12107 | Eye est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12882-12882 | Face est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20336-20336 | Feather est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12697-12697 | Foot est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12051-12051 | GastroIntestinalTract est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 265-265 | Gills est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11781-11781 | Hair est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12469-12469 | Hand est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12865-12865 | Head est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11336-11336 | Heart est une sous-classe de AnimalAnatomicalStructure |
| 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 |
|
|
|