(=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure))) |
Economy.kif 5258-5265 | |
(subclass AnatomicalStructure OrganicObject) | Merge.kif 14913-14913 | 解剖学的構造 は 有機物 の subclass では %n |
(subclass AbnormalAnatomicalStructure AnatomicalStructure) | Merge.kif 14936-14936 | AbnormalAnatomicalStructure は 解剖学的構造 の subclass では %n |
(subclass BodyPart AnatomicalStructure) | Merge.kif 14949-14949 | 体の部分 は 解剖学的構造 の subclass では %n |
(subclass AnimalAnatomicalStructure AnatomicalStructure) | Merge.kif 14996-14996 | AnimalAnatomicalStructure は 解剖学的構造 の subclass では %n |
(subclass PlantAnatomicalStructure AnatomicalStructure) | Merge.kif 15007-15007 | PlantAnatomicalStructure は 解剖学的構造 の subclass では %n |