| Tomb(tomb)
| | Holy_Sepulcher, Holy_Sepulchre, grave, mastaba, mastabah, tomb |
| appearance as argument number 1 |
|
|
| (documentation Tomb EnglishLanguage "A StationaryArtifact which is meant to contain someone who is Dead.") | Mid-level-ontology.kif 6503-6504 | |
| (externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Nuremberg_Johannis_Grave_Willibald_Pirckheimer_f_se.jpg") | pictureList.kif 3244-3244 | |
| (externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/9/9e/ Nuremberg_L.A.Feuerbach_Memoria_Monument_f_ne.jpg") | pictureList.kif 3246-3246 | |
| (externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/b/b3/ MLK_tomb.JPG") | pictureList.kif 3245-3245 | |
| (externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/e/ef/ Perelachaise-p1000391.jpg") | pictureList.kif 3018-3018 | |
| (subclass Tomb StationaryArtifact) | Mid-level-ontology.kif 6502-6502 | Tomb is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Tomb "墓") | domainEnglishFormat.kif 58275-58275 | |
| (termFormat ChineseTraditionalLanguage Tomb "墓") | domainEnglishFormat.kif 58274-58274 | |
| (termFormat EnglishLanguage Tomb "tomb") | domainEnglishFormat.kif 58273-58273 |
| antecedent |
|
|
| (=> (instance ?T Tomb) (hasPurpose ?T (exists (?P) (and (attribute ?P Dead) (contains ?T ?P))))) |
Mid-level-ontology.kif 6506-6512 |
|
| consequent |
|
|
| (=> (and (instance ?E Entombing) (destination ?E ?T)) (instance ?T Tomb)) |
Mid-level-ontology.kif 15751-15755 |
|
| (=> (instance ?C Cemetery) (exists (?T) (and (instance ?T Tomb) (located ?T ?C)))) |
Mid-level-ontology.kif 7834-7839 |
|
|
|
|