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 122-130
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))
Mid-level-ontology.kif 18111-18119
(subclass OrganicObject CorpuscularObject) Merge.kif 14392-14392 Objeto Organico e' uma sub-classe de Objeto Corpuscular
(subclass OrganicObject OrganicThing) Merge.kif 14393-14393 Objeto Organico e' uma sub-classe de OrganicThing
(subclass Nucleotide OrganicObject) VirusProteinAndCellPart.kif 50-50 Nucleotide e' uma sub-classe de Objeto Organico
(subclass Biopolymer OrganicObject) VirusProteinAndCellPart.kif 82-82 Biopolymer e' uma sub-classe de Objeto Organico
(subclass Gene OrganicObject) VirusProteinAndCellPart.kif 640-640 Gene e' uma sub-classe de Objeto Organico
(subclass OrganismRemains OrganicObject) Mid-level-ontology.kif 28-28 OrganismRemains e' uma sub-classe de Objeto Organico
(subclass Organism OrganicObject) Merge.kif 14400-14400 Organismo e' uma sub-classe de Objeto Organico
(subclass AnatomicalStructure OrganicObject) Merge.kif 14959-14959 Estructura Anatomica e' uma sub-classe de Objeto Organico
(subclass Miswak OrganicObject) ArabicCulture.kif 351-351 Miswak e' uma sub-classe de Objeto Organico


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