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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanCorpse
HumanCorpse(human corpse)
body, cadaver, clay, corpse, dead, dead_body, mummy, remains, stiff

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 Human corpse is a subclass of OrganismRemains

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


(termFormat ChineseLanguage HumanCorpse "人类的尸体") domainEnglishFormat.kif 28765-28765
(termFormat ChineseTraditionalLanguage HumanCorpse "人類的屍體") domainEnglishFormat.kif 28764-28764
(termFormat EnglishLanguage HumanCorpse "human corpse") domainEnglishFormat.kif 28763-28763

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 15797-15801
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners