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 13660-13661
(externalImage Funeral "http://upload.wikimedia.org/wikipedia/commons/1/ 15/ RRFUNERAL-NR_lays_head_on_casket.jpg") pictureList.kif 3083-3083
(externalImage Funeral "http://upload.wikimedia.org/wikipedia/commons/1/ 16/ REAGANFUNERAL-casket_leaves_RRPL.jpg") pictureList.kif 3082-3082
(externalImage Funeral "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ RRFUNERAL-casket_close_up.jpg") pictureList.kif 3081-3081
(externalImage Funeral "http://upload.wikimedia.org/wikipedia/commons/e/ e4/ Juliana_begrafenis.jpg") pictureList.kif 2954-2954
(subclass Funeral Ceremony) Mid-level-ontology.kif 13658-13658 Funeral is a subclass of Ceremony
(subclass Funeral FormalMeeting) Mid-level-ontology.kif 13659-13659 Funeral is a subclass of formal meeting

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


(subclass Burial Funeral) Mid-level-ontology.kif 13669-13669 Burial is a subclass of funeral
(subclass ReligiousFuneral Funeral) Mid-level-ontology.kif 13679-13679 ReligiousFuneral is a subclass of funeral
(termFormat ChineseLanguage Funeral "葬礼") domainEnglishFormat.kif 25147-25147
(termFormat ChineseTraditionalLanguage Funeral "葬禮") domainEnglishFormat.kif 25146-25146
(termFormat EnglishLanguage Funeral "funeral") domainEnglishFormat.kif 25145-25145

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners