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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Funeral
Funeral

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


(documentation Funeral EnglishLanguage "A FormalMeeting whose purpose is to commemorate the Death of someone.") Mid-level-ontology.kif 16222-16223
(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 16220-16220
(subclass Funeral FormalMeeting) Mid-level-ontology.kif 16221-16221

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


(subclass Burial Funeral) Mid-level-ontology.kif 16232-16232
(subclass ReligiousFuneral Funeral) Mid-level-ontology.kif 16242-16242
(termFormat ChineseLanguage Funeral "葬礼") domainEnglishFormat.kif 25249-25249
(termFormat ChineseTraditionalLanguage Funeral "葬禮") domainEnglishFormat.kif 25248-25248
(termFormat EnglishLanguage Funeral "funeral") domainEnglishFormat.kif 25247-25247

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


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


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