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 19655-19663
(subclass OrganicObject CorpuscularObject) Merge.kif 14499-14499
(subclass OrganicObject OrganicThing) Merge.kif 14500-14500
(subclass Nucleotide OrganicObject) VirusProteinAndCellPart.kif 51-51
(subclass Biopolymer OrganicObject) VirusProteinAndCellPart.kif 85-85
(subclass Gene OrganicObject) VirusProteinAndCellPart.kif 647-647
(subclass OrganismRemains OrganicObject) Mid-level-ontology.kif 28-28
(subclass Organism OrganicObject) Merge.kif 14507-14507
(subclass AnatomicalStructure OrganicObject) Merge.kif 15066-15066
(subclass Miswak OrganicObject) ArabicCulture.kif 351-351


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