(=> (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 AbnormalAnatomicalStructure AnatomicalStructure) | Merge.kif 14958-14958 | |
(subclass BodyPart AnatomicalStructure) | Merge.kif 14971-14971 | |
(subclass AnimalAnatomicalStructure AnatomicalStructure) | Merge.kif 15018-15018 | |
(subclass PlantAnatomicalStructure AnatomicalStructure) | Merge.kif 15029-15029 |