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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?REM OrganismRemains)
        (instance ?DEATH Death)
        (experiencer ?DEATH ?ORG)
        (instance ?ORG ?ORGTYPE)
        (subclass ?ORGTYPE OrganicObject)
        (result ?DEATH ?REM))
    (instance ?REM
        (DeadFn ?ORGTYPE)))		 Mid-level-ontology.kif 129-137
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))		 Mid-level-ontology.kif 18084-18092
(subclass OrganicObject CorpuscularObject) Merge.kif 14346-14346 OrganicObject ist eine teilkategorie von CorpuscularObject
(subclass OrganicObject OrganicThing) Merge.kif 14347-14347 OrganicObject ist eine teilkategorie von OrganicThing
(subclass Nucleotide OrganicObject) VirusProteinAndCellPart.kif 50-50 Nucleotide ist eine teilkategorie von OrganicObject
(subclass Biopolymer OrganicObject) VirusProteinAndCellPart.kif 82-82 Biopolymer ist eine teilkategorie von OrganicObject
(subclass Gene OrganicObject) VirusProteinAndCellPart.kif 641-641 Gene ist eine teilkategorie von OrganicObject
(subclass OrganismRemains OrganicObject) Mid-level-ontology.kif 28-28 OrganismRemains ist eine teilkategorie von OrganicObject
(subclass Organism OrganicObject) Merge.kif 14354-14354 Organism ist eine teilkategorie von OrganicObject
(subclass AnatomicalStructure OrganicObject) Merge.kif 14913-14913 AnatomicalStructure ist eine teilkategorie von OrganicObject
(subclass Miswak OrganicObject) ArabicCulture.kif 351-351 Miswak ist eine teilkategorie von OrganicObject


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