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 6482-6483
(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 6481-6481 Tomb is a subclass of stationary artifact

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


(termFormat ChineseLanguage Tomb "墓") domainEnglishFormat.kif 58306-58306
(termFormat ChineseTraditionalLanguage Tomb "墓") domainEnglishFormat.kif 58305-58305
(termFormat EnglishLanguage Tomb "tomb") domainEnglishFormat.kif 58304-58304

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


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

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


(=>
    (and
        (instance ?E Entombing)
        (destination ?E ?T))
    (instance ?T Tomb))
Mid-level-ontology.kif 15778-15782
(=>
    (instance ?C Cemetery)
    (exists (?T)
        (and
            (instance ?T Tomb)
            (located ?T ?C))))
Mid-level-ontology.kif 7815-7820


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