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 16003-16004
(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 16001-16001 Funeral ist eine teilkategorie von Ceremony
(subclass Funeral FormalMeeting) Mid-level-ontology.kif 16002-16002 Funeral ist eine teilkategorie von FormalMeeting

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


(subclass Burial Funeral) Mid-level-ontology.kif 16013-16013 Burial ist eine teilkategorie von Funeral
(subclass ReligiousFuneral Funeral) Mid-level-ontology.kif 16023-16023 ReligiousFuneral ist eine teilkategorie von Funeral
(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 16006-16011


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