Funeral - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass Burial Funeral)	Mid-level-ontology.kif 17622-17622	Burial is a subclass of funeral
(subclass ReligiousFuneral Funeral)	Mid-level-ontology.kif 17632-17632	Religious funeral is a subclass of funeral
(termFormat EnglishLanguage Funeral "funeral")	domainEnglishFormat.kif 25222-25222	Religious funeral is a subclass of funeral
(termFormat ChineseTraditionalLanguage Funeral "葬禮")	domainEnglishFormat.kif 25223-25223	Religious funeral is a subclass of funeral
(termFormat ChineseLanguage Funeral "葬礼")	domainEnglishFormat.kif 25224-25224	Religious funeral is a subclass of funeral

antecedent

(=>
    (instance ?F Funeral)
    (exists (?D)
        (and
            (instance ?D Death)
            (refers ?F ?D))))

If X is an instance of funeral, then there exists Y such that Y is an instance of death and X includes a reference to Y