(=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure))) |
Economy.kif 5258-5265 | |
(subclass AnatomicalStructure OrganicObject) | Merge.kif 14935-14935 | 解剖结构 是 有机物体 的 subclass |
(subclass AbnormalAnatomicalStructure AnatomicalStructure) | Merge.kif 14958-14958 | 异常的解剖结构 是 解剖结构 的 subclass |
(subclass BodyPart AnatomicalStructure) | Merge.kif 14971-14971 | 身体部位 是 解剖结构 的 subclass |
(subclass AnimalAnatomicalStructure AnatomicalStructure) | Merge.kif 15018-15018 | 动物解剖结构 是 解剖结构 的 subclass |
(subclass PlantAnatomicalStructure AnatomicalStructure) | Merge.kif 15029-15029 | 植物解剖结构 是 解剖结构 的 subclass |
![]() |