Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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 Organism is a subclass of organic object
(subclass Organism AutonomousAgent) Merge.kif 14355-14355 Organism is a subclass of agent
(subclass ToxicOrganism Organism) WMD.kif 187-187 Toxic organism is a subclass of organism
(subclass GeneticallyEngineeredOrganism Organism) WMD.kif 234-234 Genetically engineered organism is a subclass of organism
(subclass Parasite Organism) Mid-level-ontology.kif 5888-5888 Parasite is a subclass of organism
(subclass Plant Organism) Merge.kif 14399-14399 Plant is a subclass of organism
(subclass Fungus Organism) Merge.kif 14425-14425 Fungus is a subclass of organism
(subclass Animal Organism) Merge.kif 14446-14446 Animal is a subclass of organism
(subclass Microorganism Organism) Merge.kif 14451-14451 Microorganism is a subclass of organism


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners