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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Burial

Sigma KEE - Burial
Burial

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


(documentation Burial EnglishLanguage "A Funeral where the person being commemorated or an Object representing the person is placed into the ground.") Mid-level-ontology.kif 16015-16015
(subclass Burial Funeral) Mid-level-ontology.kif 16014-16014 Burial est une sous-classe de Funeral

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


(subclass ReligiousBurial Burial) Mid-level-ontology.kif 16036-16036 ReligiousBurial est une sous-classe de Burial
(termFormat EnglishLanguage Burial "burial") domainEnglishFormat.kif 64574-64574

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


(=>
    (instance ?BURIAL Burial)
    (exists (?SP)
        (and
            (instance ?SP Burying)
            (subProcess ?SP ?BURIAL))))
Mid-level-ontology.kif 16017-16022

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


(=>
    (burialplace ?INDIV ?PLACE)
    (exists (?BURIAL)
        (and
            (instance ?BURIAL Burial)
            (patient ?BURIAL ?INDIV)
            (eventLocated ?BURIAL ?PLACE))))
Biography.kif 208-214


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 is open source software produced by Articulate Software and its partners