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 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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners