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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Funeral

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 16031-16032
(externalImage Funeral "http://upload.wikimedia.org/wikipedia/commons/1/ 15/ RRFUNERAL-NR_lays_head_on_casket.jpg") pictureList.kif 3082-3082
(externalImage Funeral "http://upload.wikimedia.org/wikipedia/commons/1/ 16/ REAGANFUNERAL-casket_leaves_RRPL.jpg") pictureList.kif 3081-3081
(externalImage Funeral "http://upload.wikimedia.org/wikipedia/commons/7/ 7b/ RRFUNERAL-casket_close_up.jpg") pictureList.kif 3080-3080
(externalImage Funeral "http://upload.wikimedia.org/wikipedia/commons/e/ e4/ Juliana_begrafenis.jpg") pictureList.kif 2953-2953
(subclass Funeral Ceremony) Mid-level-ontology.kif 16029-16029 子類 葬禮 and Ceremony
(subclass Funeral FormalMeeting) Mid-level-ontology.kif 16030-16030 子類 葬禮 and 正式會議

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


(subclass Burial Funeral) Mid-level-ontology.kif 16041-16041 子類 Burial and 葬禮
(subclass ReligiousFuneral Funeral) Mid-level-ontology.kif 16051-16051 子類 ReligiousFuneral and 葬禮
(termFormat ChineseLanguage Funeral "葬礼") domainEnglishFormat.kif 25220-25220
(termFormat ChineseTraditionalLanguage Funeral "葬禮") domainEnglishFormat.kif 25219-25219
(termFormat EnglishLanguage Funeral "funeral") domainEnglishFormat.kif 25218-25218

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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