Burial - Sigma Knowledge base Browser

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 16233-16233
(subclass Burial Funeral)	Mid-level-ontology.kif 16232-16232	Burial is a subclass of funeral

appearance as argument number 2

(subclass ReligiousBurial Burial)	Mid-level-ontology.kif 16254-16254	Religious burial is a subclass of burial
(termFormat EnglishLanguage Burial "burial")	domainEnglishFormat.kif 64622-64622	Religious burial is a subclass of burial

antecedent

(=>
    (instance ?BURIAL Burial)
    (exists (?SP)
        (and
            (instance ?SP Burying)
            (subProcess ?SP ?BURIAL))))

Mid-level-ontology.kif 16235-16240

If a process is an instance of burial,
then there exists another process such that the other process is an instance of burying and the other process is a subprocess of the process

consequent

(=>
    (burialplace ?INDIV ?PLACE)
    (exists (?BURIAL)
        (and
            (instance ?BURIAL Burial)
            (patient ?BURIAL ?INDIV)
            (eventLocated ?BURIAL ?PLACE))))

Biography.kif 208-214

If an animal is ubried at an object,
then there exists a process such that the process is an instance of burial and the animal is a patient of the process and the process is located at the object

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

KB Term:			Term intersection

English Word: