Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   HumanCorpse
|
|
|
| appearance as argument number 1 |
|
|
| (subclass HumanCorpse OrganismRemains) | Mid-level-ontology.kif 88-88 | Human corpse is a subclass of organism remains |
| (documentation HumanCorpse EnglishLanguage "HumanCorpse is the OrganismRemains of a Human") | Mid-level-ontology.kif 89-90 | Human corpse is a subclass of organism remains |
| (externalImage HumanCorpse "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Buchenwald_Thekla_Corpse_10190.jpg") | pictureList.kif 2966-2966 | Human corpse is a subclass of organism remains |
| (externalImage HumanCorpse "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ MULO_Charles_the_Bold_corpse.jpg") | pictureList.kif 3130-3130 | Human corpse is a subclass of organism remains |
| (externalImage HumanCorpse "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Camuccini_Lamentation_over_the_Corpse_of_Socrates.jpg") | pictureList.kif 3131-3131 | Human corpse is a subclass of organism remains |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?X HumanCorpse) (instance ?X (DeadFn Human))) |
Mid-level-ontology.kif 92-94 | If X is an instance of human corpse, then X is an instance of a dead human |
| consequent |
|
|
| (=> (instance ?C Coffin) (hasPurpose ?C (exists (?HC) (and (instance ?HC HumanCorpse) (located ?HC ?C))))) |
Mid-level-ontology.kif 4802-4808 | If X is an instance of coffin, then X has the purpose there exists Y such that Y is an instance of human corpse and Y is located at X |
| (=> (and (instance ?E Entombing) (patient ?E ?C)) (instance ?C HumanCorpse)) |
Mid-level-ontology.kif 19977-19981 | If X is an instance of entombing and Y is a patient of X, then Y is an instance of human corpse |
|
