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 18083-18091
(subclass OrganicObject CorpuscularObject) Merge.kif 14368-14368 OrganicObject ist eine teilkategorie von CorpuscularObject
(subclass OrganicObject OrganicThing) Merge.kif 14369-14369 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 640-640 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 14376-14376 Organism ist eine teilkategorie von OrganicObject
(subclass AnatomicalStructure OrganicObject) Merge.kif 14935-14935 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