| (=> (and (parent ?CHILD ?PARENT) (subclass ?CLASS Organism) (instance ?PARENT ?CLASS)) (instance ?CHILD ?CLASS)) |
Merge.kif 16505-16510 | |
| (=> (subclass ?F Fertilisation) (capability ?F patient Organism)) |
Mid-level-ontology.kif 25642-25644 | |
| (=> (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 6494-6503 | |
| (=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (or (subclass ?ORG Organism) (subclass ?ORG AnatomicalStructure))) |
Economy.kif 5593-5600 | |
| (subclass Organism OrganicObject) | Merge.kif 14458-14458 | |
| (subclass Organism AutonomousAgent) | Merge.kif 14459-14459 | |
| (subclass ToxicOrganism Organism) | WMD.kif 187-187 | |
| (subclass GeneticallyEngineeredOrganism Organism) | WMD.kif 234-234 | |
| (subclass Parasite Organism) | Mid-level-ontology.kif 6851-6851 | |
| (subclass Omnivore Organism) | Mid-level-ontology.kif 21671-21671 | |
| (subclass Fungivore Organism) | Mid-level-ontology.kif 21687-21687 | |
| (subclass Plant Organism) | Merge.kif 14503-14503 | |
| (subclass Fungus Organism) | Merge.kif 14529-14529 | |
| (subclass Animal Organism) | Merge.kif 14550-14550 | |
| (subclass Microorganism Organism) | Merge.kif 14555-14555 |
|
|