| 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 |
|
|
|