Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanCorpse
HumanCorpse

appearance as argument number 1
-------------------------


(documentation HumanCorpse EnglishLanguage "HumanCorpse is the OrganismRemains of a Human") Mid-level-ontology.kif 225-226
(externalImage HumanCorpse "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Buchenwald_Thekla_Corpse_10190.jpg") pictureList.kif 2968-2968
(externalImage HumanCorpse "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ MULO-Charles_the_Bold_corpse.jpg") pictureList.kif 3132-3132
(externalImage HumanCorpse "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Camuccini_Lamentation_over_the_Corpse_of_Socrates.jpg") pictureList.kif 3133-3133
(subclass HumanCorpse OrganismRemains) Mid-level-ontology.kif 224-224 subclass HumanCorpse and OrganismRemains

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage HumanCorpse "人类的尸体") domainEnglishFormat.kif 28786-28786
(termFormat ChineseTraditionalLanguage HumanCorpse "人類的屍體") domainEnglishFormat.kif 28785-28785
(termFormat EnglishLanguage HumanCorpse "human corpse") domainEnglishFormat.kif 28784-28784

antecedent
-------------------------


(=>
    (instance ?X HumanCorpse)
    (instance ?X
        (DeadFn Human)))
Mid-level-ontology.kif 228-230

consequent
-------------------------


(=>
    (and
        (instance ?E Entombing)
        (patient ?E ?C))
    (instance ?C HumanCorpse))
Mid-level-ontology.kif 15770-15774
(=>
    (instance ?C Coffin)
    (hasPurpose ?C
        (exists (?HC)
            (and
                (instance ?HC HumanCorpse)
                (located ?HC ?C)))))
Mid-level-ontology.kif 4631-4637


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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