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 8004-8005
(externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Nuremberg_Johannis_Grave_Willibald_Pirckheimer_f_se.jpg") pictureList.kif 3242-3242
(externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/9/9e/ Nuremberg_L.A.Feuerbach_Memoria_Monument_f_ne.jpg") pictureList.kif 3244-3244
(externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/b/b3/ MLK_tomb.JPG") pictureList.kif 3243-3243
(externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/e/ef/ Perelachaise_p1000391.jpg") pictureList.kif 3016-3016
(subclass Tomb StationaryArtifact) Mid-level-ontology.kif 8003-8003 Tomb e' uma sub-classe de Artefato Estacionario

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


(termFormat ChineseLanguage Tomb "墓") domainEnglishFormat.kif 58402-58402
(termFormat ChineseTraditionalLanguage Tomb "墓") domainEnglishFormat.kif 58401-58401
(termFormat EnglishLanguage Tomb "tomb") domainEnglishFormat.kif 58400-58400

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


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

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


(=>
    (and
        (instance ?E Entombing)
        (destination ?E ?T))
    (instance ?T Tomb))
Mid-level-ontology.kif 19620-19624
(=>
    (instance ?C Cemetery)
    (exists (?T)
        (and
            (instance ?T Tomb)
            (located ?T ?C))))
Mid-level-ontology.kif 9260-9265


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