AnimalAnatomicalStructure(animal anatomical structure) |
appearance as argument number 1 |
![]() |
(documentation AnimalAnatomicalStructure ChineseLanguage "这是只属于 Animal 的 AnatomicalStructure。") | chinese_format.kif 3495-3496 | |
(documentation AnimalAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Animals.") | Merge.kif 15071-15072 | |
(initialPart AnimalAnatomicalStructure Animal) | Mid-level-ontology.kif 24840-24840 | Every animal anatomical structure is initially part of a animal |
(subclass AnimalAnatomicalStructure AnatomicalStructure) | Merge.kif 15070-15070 | Animal anatomical structure is a subclass of anatomical structure |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 15074-15079 |
|
![]() |
![]() |