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 ist eine teilkategorie von OrganicObject
(subclass Organism AutonomousAgent) Merge.kif 14355-14355 Organism ist eine teilkategorie von AutonomousAgent
(subclass ToxicOrganism Organism) WMD.kif 187-187 ToxicOrganism ist eine teilkategorie von Organism
(subclass GeneticallyEngineeredOrganism Organism) WMD.kif 234-234 GeneticallyEngineeredOrganism ist eine teilkategorie von Organism
(subclass Parasite Organism) Mid-level-ontology.kif 5888-5888 Parasite ist eine teilkategorie von Organism
(subclass Plant Organism) Merge.kif 14399-14399 Plant ist eine teilkategorie von Organism
(subclass Fungus Organism) Merge.kif 14425-14425 Fungus ist eine teilkategorie von Organism
(subclass Animal Organism) Merge.kif 14446-14446 Animal ist eine teilkategorie von Organism
(subclass Microorganism Organism) Merge.kif 14451-14451 Microorganism ist eine teilkategorie von 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