Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Entombing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Entombing Putting) | Mid-level-ontology.kif 19971-19971 | Entombing is a subclass of putting |
| (documentation Entombing EnglishLanguage "More commonly known as burying, this is the class of processes of putting a HumanCorpse into a Tomb. Note that this class is not a subclass of Burying, since some Tombs are not covered with Soil, e.g. those in a mausoleum.") | Mid-level-ontology.kif 19972-19975 | Entombing is a subclass of putting |
| (externalImage Entombing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Salers_-_%C3%A9glise_Saint_Matthieu_-_mise_au_tombeau.jpg") | pictureList.kif 2948-2948 | Entombing is a subclass of putting |
| (externalImage Entombing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Meister_des_Wittingauer_Altars_003.jpg") | pictureList.kif 3072-3072 | Entombing is a subclass of putting |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| (=> (and (instance ?E Entombing) (destination ?E ?T)) (instance ?T Tomb)) |
Mid-level-ontology.kif 19983-19987 | If X is an instance of entombing and X ends up at Y, then Y is an instance of tomb |
|
