| 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 102-103 | |
| (externalImage HumanCorpse "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Buchenwald_Thekla_Corpse_10190.jpg") | pictureList.kif 2966-2966 | |
| (externalImage HumanCorpse "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ MULO_Charles_the_Bold_corpse.jpg") | pictureList.kif 3130-3130 | |
| (externalImage HumanCorpse "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Camuccini_Lamentation_over_the_Corpse_of_Socrates.jpg") | pictureList.kif 3131-3131 | |
| (subclass HumanCorpse OrganismRemains) | Mid-level-ontology.kif 101-101 | Human corpse is a subclass of organism remains |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HumanCorpse "人类的尸体") | domainEnglishFormat.kif 28891-28891 | |
| (termFormat ChineseTraditionalLanguage HumanCorpse "人類的屍體") | domainEnglishFormat.kif 28890-28890 | |
| (termFormat EnglishLanguage HumanCorpse "human corpse") | domainEnglishFormat.kif 28889-28889 |
| antecedent |
|
|
| (=> (instance ?X HumanCorpse) (instance ?X (DeadFn Human))) |
Mid-level-ontology.kif 105-107 |
|
| consequent |
|
|
| (=> (and (instance ?E Entombing) (patient ?E ?C)) (instance ?C HumanCorpse)) |
Mid-level-ontology.kif 19132-19136 |
|
| (=> (instance ?C Coffin) (hasPurpose ?C (exists (?HC) (and (instance ?HC HumanCorpse) (located ?HC ?C))))) |
Mid-level-ontology.kif 4222-4228 |
|
|
|
|