(=> (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 | 子類 AnatomicalStructure and OrganicObject |
(subclass AbnormalAnatomicalStructure AnatomicalStructure) | Merge.kif 14958-14958 | 子類 異常的解剖結構 and AnatomicalStructure |
(subclass BodyPart AnatomicalStructure) | Merge.kif 14971-14971 | 子類 BodyPart and AnatomicalStructure |
(subclass AnimalAnatomicalStructure AnatomicalStructure) | Merge.kif 15018-15018 | 子類 動物解剖結構 and AnatomicalStructure |
(subclass PlantAnatomicalStructure AnatomicalStructure) | Merge.kif 15029-15029 | 子類 植物解剖結構 and AnatomicalStructure |
![]() |