| (=> (and (parent ?CHILD ?PARENT) (subclass ?CLASS Organism) (instance ?PARENT ?CLASS)) (instance ?CHILD ?CLASS)) |
Merge.kif 16554-16559 | |
| (=> (subclass ?F Fertilisation) (capability ?F patient Organism)) |
Mid-level-ontology.kif 25634-25636 | |
| (=> (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 6728-6737 | |
| (=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure))) |
Economy.kif 5599-5606 | |
| (subclass Organism OrganicObject) | Merge.kif 14507-14507 | |
| (subclass Organism AutonomousAgent) | Merge.kif 14508-14508 | |
| (subclass ToxicOrganism Organism) | WMD.kif 187-187 | |
| (subclass GeneticallyEngineeredOrganism Organism) | WMD.kif 234-234 | |
| (subclass Parasite Organism) | Mid-level-ontology.kif 6825-6825 | |
| (subclass Herbivore Organism) | Mid-level-ontology.kif 21649-21649 | |
| (subclass Omnivore Organism) | Mid-level-ontology.kif 21664-21664 | |
| (subclass Fungivore Organism) | Mid-level-ontology.kif 21680-21680 | |
| (subclass Plant Organism) | Merge.kif 14552-14552 | |
| (subclass Fungus Organism) | Merge.kif 14578-14578 | |
| (subclass Animal Organism) | Merge.kif 14599-14599 | |
| (subclass Microorganism Organism) | Merge.kif 14604-14604 | |
| (subclass Carnivore Organism) | Merge.kif 14751-14751 |
|
|