(=> (and (parent ?CHILD ?PARENT) (subclass ?CLASS Organism) (instance ?PARENT ?CLASS)) (instance ?CHILD ?CLASS)) |
Merge.kif 16401-16406 | |
(=> (subclass ?F Fertilisation) (capability ?F patient Organism)) |
Mid-level-ontology.kif 23987-23989 | |
(=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O ?ORG) (subclass ?ORG Organism)) (exists (?PART) (and (instance ?P (DeadFn ?PART)) (initialPart ?PART ?ORG)))) |
Geography.kif 6425-6434 | |
(=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure))) |
Economy.kif 5258-5265 | |
(subclass Organism OrganicObject) | Merge.kif 14376-14376 | |
(subclass Organism AutonomousAgent) | Merge.kif 14377-14377 | |
(subclass ToxicOrganism Organism) | WMD.kif 187-187 | |
(subclass GeneticallyEngineeredOrganism Organism) | WMD.kif 234-234 | |
(subclass Parasite Organism) | Mid-level-ontology.kif 5887-5887 | |
(subclass Plant Organism) | Merge.kif 14421-14421 | |
(subclass Fungus Organism) | Merge.kif 14447-14447 | |
(subclass Animal Organism) | Merge.kif 14468-14468 | |
(subclass Microorganism Organism) | Merge.kif 14473-14473 |