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

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 17424-17429

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 213-219

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: