|
|
   AnimalAnatomicalStructure
|
|
|
| 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 15135-15136 | |
| (initialPart AnimalAnatomicalStructure Animal) | Mid-level-ontology.kif 25369-25369 | initialPart AnimalAnatomicalStructure and 動物 |
| (subclass AnimalAnatomicalStructure AnatomicalStructure) | Merge.kif 15134-15134 | AnimalAnatomicalStructure は 解剖学的構造 の subclass では |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal)) |
Merge.kif 15138-15143 |
|
|
|