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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Funeral
Funeral(funeral)
funeral, sky_burial

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


(documentation Funeral EnglishLanguage "A FormalMeeting whose purpose is to commemorate the Death of someone.") Mid-level-ontology.kif 17391-17392
(externalImage Funeral "http://upload.wikimedia.org/wikipedia/commons/1/ 15/ RRFUNERAL_NR_lays_head_on_casket.jpg") pictureList.kif 3081-3081
(externalImage Funeral "http://upload.wikimedia.org/wikipedia/commons/1/ 16/ REAGANFUNERAL_casket_leaves_RRPL.jpg") pictureList.kif 3080-3080
(externalImage Funeral "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ RRFUNERAL_casket_close_up.jpg") pictureList.kif 3079-3079
(externalImage Funeral "http://upload.wikimedia.org/wikipedia/commons/e/ e4/ Juliana_begrafenis.jpg") pictureList.kif 2952-2952
(subclass Funeral Ceremony) Mid-level-ontology.kif 17389-17389 Funeral is a subclass of ceremony
(subclass Funeral FormalMeeting) Mid-level-ontology.kif 17390-17390 Funeral is a subclass of formal meeting

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


(subclass Burial Funeral) Mid-level-ontology.kif 17401-17401 Burial is a subclass of funeral
(subclass ReligiousFuneral Funeral) Mid-level-ontology.kif 17411-17411 Religious funeral is a subclass of funeral
(termFormat ChineseLanguage Funeral "葬礼") domainEnglishFormat.kif 25231-25231 Religious funeral is a subclass of funeral
(termFormat ChineseTraditionalLanguage Funeral "葬禮") domainEnglishFormat.kif 25230-25230 Religious funeral is a subclass of funeral
(termFormat EnglishLanguage Funeral "funeral") domainEnglishFormat.kif 25229-25229 Religious funeral is a subclass of funeral

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


(=>
    (instance ?F Funeral)
    (exists (?D)
        (and
            (instance ?D Death)
            (refers ?F ?D))))
Mid-level-ontology.kif 17394-17399


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