Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Coughing

 Sigma KEE - Tomb
Tomb(tomb)
Holy_Sepulcher, Holy_Sepulchre, grave, mastaba, mastabah, tomb

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


(subclass Tomb StationaryArtifact) Mid-level-ontology.kif 8158-8158 Tomb is a subclass of stationary artifact
(documentation Tomb EnglishLanguage "A StationaryArtifact which is meant to contain someone who is Dead.") Mid-level-ontology.kif 8159-8160 Tomb is a subclass of stationary artifact
(externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/e/ef/ Perelachaise_p1000391.jpg") pictureList.kif 3016-3016 Tomb is a subclass of stationary artifact
(externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Nuremberg_Johannis_Grave_Willibald_Pirckheimer_f_se.jpg") pictureList.kif 3242-3242 Tomb is a subclass of stationary artifact
(externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/b/b3/ MLK_tomb.JPG") pictureList.kif 3243-3243 Tomb is a subclass of stationary artifact
(externalImage Tomb "http://upload.wikimedia.org/wikipedia/commons/9/9e/ Nuremberg_L.A.Feuerbach_Memoria_Monument_f_ne.jpg") pictureList.kif 3244-3244 Tomb is a subclass of stationary artifact

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


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

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


(=>
    (instance ?T Tomb)
    (hasPurpose ?T
        (exists (?P)
            (and
                (attribute ?P Dead)
                (contains ?T ?P)))))		 Mid-level-ontology.kif 8162-8168 If X is an instance of tomb, then X has the purpose there exists Y such that dead is an attribute of Y and X contains Y

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


(=>
    (instance ?C Cemetery)
    (exists (?T)
        (and
            (instance ?T Tomb)
            (located ?T ?C))))		 Mid-level-ontology.kif 9414-9419 If X is an instance of cemetery, then there exists Y such that Y is an instance of tomb and Y is located at X
(=>
    (and
        (instance ?E Entombing)
        (destination ?E ?T))
    (instance ?T Tomb))		 Mid-level-ontology.kif 19983-19987 If X is an instance of entombing and X ends up at Y, then Y is an instance of tomb


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners