|
|
   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 e' uma sub-classe de Estructura Anatomica |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14937-14937 | O conceito Estructura Anatomica e' completamente decomposto em AnimalAnatomicalStructure + PlantAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12816-12816 | Abdomen e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11091-11091 | Alveolus e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11524-11524 | AnimalShell e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10151-10151 | BloodCell e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11077-11077 | BloodVessel e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11846-11846 | Brain e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12827-12827 | Breast e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11065-11065 | BronchialDuct e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11212-11212 | Chest e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12917-12917 | Chin e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12480-12480 | DigitAppendage e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12140-12140 | Ear e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15047-15047 | Egg e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11668-11668 | Exoskeleton e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12106-12106 | Eye e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12881-12881 | Face e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20335-20335 | Feather e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12696-12696 | Foot e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12050-12050 | GastroIntestinalTract e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 265-265 | Gills e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11780-11780 | Hair e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12468-12468 | Hand e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12864-12864 | Head e' uma sub-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11335-11335 | Heart e' uma sub-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 |
|
|
|