(=> (and (parent ?CHILD ?PARENT) (subclass ?CLASS Organism) (instance ?PARENT ?CLASS)) (instance ?CHILD ?CLASS)) |
Merge.kif 16379-16384 | |
(=> (subclass ?F Fertilisation) (capability ?F patient Organism)) |
Mid-level-ontology.kif 23988-23990 | |
(=> (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 14354-14354 | 物 は 有機物 の subclass では %n |
(subclass Organism AutonomousAgent) | Merge.kif 14355-14355 | 物 は AutonomousAgent の subclass では %n |
(subclass ToxicOrganism Organism) | WMD.kif 187-187 | ToxicOrganism は 物 の subclass では %n |
(subclass GeneticallyEngineeredOrganism Organism) | WMD.kif 234-234 | GeneticallyEngineeredOrganism は 物 の subclass では %n |
(subclass Parasite Organism) | Mid-level-ontology.kif 5888-5888 | Parasite は 物 の subclass では %n |
(subclass Plant Organism) | Merge.kif 14399-14399 | 植物 は 物 の subclass では %n |
(subclass Fungus Organism) | Merge.kif 14425-14425 | 菌類 は 物 の subclass では %n |
(subclass Animal Organism) | Merge.kif 14446-14446 | 動物 は 物 の subclass では %n |
(subclass Microorganism Organism) | Merge.kif 14451-14451 | 微生物 は 物 の subclass では %n |