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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReligiousService

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 7344-7346
(subclass ReligiousService Demonstrating) Mid-level-ontology.kif 7343-7343 宗教服务示范subclass
(subclass ReligiousService ReligiousProcess) Mid-level-ontology.kif 7342-7342 宗教服务宗教过程subclass

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


(subclass ChristianService ReligiousService) People.kif 782-782 基督徒服务宗教服务subclass
(termFormat ChineseLanguage ReligiousService "宗教服务") domainEnglishFormat.kif 49418-49418
(termFormat ChineseTraditionalLanguage ReligiousService "宗教服務") domainEnglishFormat.kif 49417-49417
(termFormat EnglishLanguage ReligiousService "religious service") domainEnglishFormat.kif 49416-49416

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


(=>
    (instance ?RF ReligiousFuneral)
    (exists (?S)
        (and
            (instance ?S ReligiousService)
            (subProcess ?S ?RF))))
Mid-level-ontology.kif 14333-14338
(=>
    (instance ?SERMON Sermon)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE ReligiousService)
            (subProcess ?SERMON ?SERVICE))))
Mid-level-ontology.kif 14247-14252


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