| HumanCorpse
| |
| 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 | HumanCorpse は OrganismRemains の subclass では |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HumanCorpse "人类的尸体") | domainEnglishFormat.kif 28874-28874 | |
| (termFormat ChineseTraditionalLanguage HumanCorpse "人類的屍體") | domainEnglishFormat.kif 28873-28873 | |
| (termFormat EnglishLanguage HumanCorpse "human corpse") | domainEnglishFormat.kif 28872-28872 |
| 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 19614-19618 | |
| (=> (instance ?C Coffin) (hasPurpose ?C (exists (?HC) (and (instance ?HC HumanCorpse) (located ?HC ?C))))) |
Mid-level-ontology.kif 4599-4605 |
|
|
|