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 15449-15450
(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 15447-15447
(subclass Funeral FormalMeeting) Mid-level-ontology.kif 15448-15448

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


(subclass Burial Funeral) Mid-level-ontology.kif 15459-15459
(subclass ReligiousFuneral Funeral) Mid-level-ontology.kif 15469-15469
(termFormat ChineseLanguage Funeral "葬礼") domainEnglishFormat.kif 25215-25215
(termFormat ChineseTraditionalLanguage Funeral "葬禮") domainEnglishFormat.kif 25214-25214
(termFormat EnglishLanguage Funeral "funeral") domainEnglishFormat.kif 25213-25213

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


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


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