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
(subclass OrganicObject OrganicThing) Merge.kif 14347-14347 有机物体 是 OrganicThing 的 subclass
(subclass Nucleotide OrganicObject) VirusProteinAndCellPart.kif 50-50 Nucleotide 是 有机物体 的 subclass
(subclass Biopolymer OrganicObject) VirusProteinAndCellPart.kif 82-82 Biopolymer 是 有机物体 的 subclass
(subclass Gene OrganicObject) VirusProteinAndCellPart.kif 641-641 Gene 是 有机物体 的 subclass
(subclass OrganismRemains OrganicObject) Mid-level-ontology.kif 28-28 OrganismRemains 是 有机物体 的 subclass
(subclass Organism OrganicObject) Merge.kif 14354-14354 生物 是 有机物体 的 subclass
(subclass AnatomicalStructure OrganicObject) Merge.kif 14913-14913 解剖结构 是 有机物体 的 subclass
(subclass Miswak OrganicObject) ArabicCulture.kif 351-351 Miswak 是 有机物体 的 subclass


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