(=> (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 |
(subclass Organism AutonomousAgent) | Merge.kif 14355-14355 | 生物 是 施事体 的 subclass |
(subclass ToxicOrganism Organism) | WMD.kif 187-187 | 有毒生物 是 生物 的 subclass |
(subclass GeneticallyEngineeredOrganism Organism) | WMD.kif 234-234 | 基因工程生物 是 生物 的 subclass |
(subclass Parasite Organism) | Mid-level-ontology.kif 5888-5888 | Parasite 是 生物 的 subclass |
(subclass Plant Organism) | Merge.kif 14399-14399 | 植物 是 生物 的 subclass |
(subclass Fungus Organism) | Merge.kif 14425-14425 | 菌类 是 生物 的 subclass |
(subclass Animal Organism) | Merge.kif 14446-14446 | 动物 是 生物 的 subclass |
(subclass Microorganism Organism) | Merge.kif 14451-14451 | 微生物 是 生物 的 subclass |