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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15295-15295
(subclass Burial Funeral) Mid-level-ontology.kif 15294-15294

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


(subclass ReligiousBurial Burial) Mid-level-ontology.kif 15316-15316

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


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

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


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


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