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
(subclass OrganicObject OrganicThing) Merge.kif 14347-14347
(subclass Nucleotide OrganicObject) VirusProteinAndCellPart.kif 50-50
(subclass Biopolymer OrganicObject) VirusProteinAndCellPart.kif 82-82
(subclass Gene OrganicObject) VirusProteinAndCellPart.kif 641-641
(subclass OrganismRemains OrganicObject) Mid-level-ontology.kif 28-28
(subclass Organism OrganicObject) Merge.kif 14354-14354
(subclass AnatomicalStructure OrganicObject) Merge.kif 14913-14913
(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