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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousService
ReligiousService

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


(documentation ReligiousService EnglishLanguage "A formal process of public worship which is typically carried out in a church, temple or other sanctified building and which typically accords with a prescribed set of rules.") Mid-level-ontology.kif 7660-7662
(subclass ReligiousService Demonstrating) Mid-level-ontology.kif 7659-7659
(subclass ReligiousService ReligiousProcess) Mid-level-ontology.kif 7658-7658

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


(subclass ChristianService ReligiousService) People.kif 789-789
(termFormat ChineseLanguage ReligiousService "宗教服务") domainEnglishFormat.kif 49419-49419
(termFormat ChineseTraditionalLanguage ReligiousService "宗教服務") domainEnglishFormat.kif 49418-49418
(termFormat EnglishLanguage ReligiousService "religious service") domainEnglishFormat.kif 49417-49417

consequent
-------------------------


(=>
    (instance ?RF ReligiousFuneral)
    (exists (?S)
        (and
            (instance ?S ReligiousService)
            (subProcess ?S ?RF))))
Mid-level-ontology.kif 15477-15482
(=>
    (instance ?SERMON Sermon)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE ReligiousService)
            (subProcess ?SERMON ?SERVICE))))
Mid-level-ontology.kif 15391-15396


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