Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tomb
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 7061-7062
(externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Nuremberg_Johannis_Grave_Willibald_Pirckheimer_f_se.jpg") pictureList.kif 3243-3243
(externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/9/9e/ Nuremberg_L.A.Feuerbach_Memoria_Monument_f_ne.jpg") pictureList.kif 3245-3245
(externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/b/b3/ MLK_tomb.JPG") pictureList.kif 3244-3244
(externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/e/ef/ Perelachaise-p1000391.jpg") pictureList.kif 3017-3017
(subclass Tomb StationaryArtifact) Mid-level-ontology.kif 7060-7060 Tomb is a subclass of stationary artifact

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Tomb "墓") domainEnglishFormat.kif 58438-58438
(termFormat ChineseTraditionalLanguage Tomb "墓") domainEnglishFormat.kif 58437-58437
(termFormat EnglishLanguage Tomb "tomb") domainEnglishFormat.kif 58436-58436

antecedent
-------------------------


(=>
    (instance ?T Tomb)
    (hasPurpose ?T
        (exists (?P)
            (and
                (attribute ?P Dead)
                (contains ?T ?P)))))
Mid-level-ontology.kif 7064-7070

consequent
-------------------------


(=>
    (and
        (instance ?E Entombing)
        (destination ?E ?T))
    (instance ?T Tomb))
Mid-level-ontology.kif 18307-18311
(=>
    (instance ?C Cemetery)
    (exists (?T)
        (and
            (instance ?T Tomb)
            (located ?T ?C))))
Mid-level-ontology.kif 8311-8316


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners