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 16401-16406
(=>
    (subclass ?F Fertilisation)
    (capability ?F patient Organism))		 Mid-level-ontology.kif 23987-23989
(=>
    (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 14376-14376 Organism ist eine teilkategorie von OrganicObject
(subclass Organism AutonomousAgent) Merge.kif 14377-14377 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 5887-5887 Parasite ist eine teilkategorie von Organism
(subclass Plant Organism) Merge.kif 14421-14421 Plant ist eine teilkategorie von Organism
(subclass Fungus Organism) Merge.kif 14447-14447 Fungus ist eine teilkategorie von Organism
(subclass Animal Organism) Merge.kif 14468-14468 Animal ist eine teilkategorie von Organism
(subclass Microorganism Organism) Merge.kif 14473-14473 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