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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tomb
Tomb

appearance as argument number 1
-------------------------


(documentation Tomb EnglishLanguage "A StationaryArtifact which is meant to contain someone who is Dead.") Mid-level-ontology.kif 6843-6844
(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 6842-6842

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


(termFormat ChineseLanguage Tomb "墓") domainEnglishFormat.kif 58394-58394
(termFormat ChineseTraditionalLanguage Tomb "墓") domainEnglishFormat.kif 58393-58393
(termFormat EnglishLanguage Tomb "tomb") domainEnglishFormat.kif 58392-58392

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


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

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


(=>
    (and
        (instance ?E Entombing)
        (destination ?E ?T))
    (instance ?T Tomb))
Mid-level-ontology.kif 18049-18053
(=>
    (instance ?C Cemetery)
    (exists (?T)
        (and
            (instance ?T Tomb)
            (located ?T ?C))))
Mid-level-ontology.kif 8093-8098


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