|
|
   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 15019-15020 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23720-23720 | initialPart AnimalAnatomicalStructure and animal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15018-15018 | 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 14937-14937 | 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 12816-12816 | Abdomen est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11091-11091 | Alveolus est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11524-11524 | AnimalShell est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10151-10151 | BloodCell est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11077-11077 | BloodVessel est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11846-11846 | Brain est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12827-12827 | Breast est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11065-11065 | BronchialDuct est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11212-11212 | Chest est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12917-12917 | Chin est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12480-12480 | DigitAppendage est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12140-12140 | Ear est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15047-15047 | Egg est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11668-11668 | Exoskeleton est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12106-12106 | Eye est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12881-12881 | Face est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20335-20335 | Feather est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12696-12696 | Foot est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12050-12050 | 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 11780-11780 | Hair est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12468-12468 | Hand est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12864-12864 | Head est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11335-11335 | 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 15022-15027 |
|
|
|