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 9154-9156
(subclass ReligiousService Demonstrating) Mid-level-ontology.kif 9153-9153 ReligiousService est une sous-classe de Demonstrating
(subclass ReligiousService ReligiousProcess) Mid-level-ontology.kif 9152-9152 ReligiousService est une sous-classe de processus religieux

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


(subclass ChristianService ReligiousService) People.kif 779-779 ChristianService est une sous-classe de ReligiousService
(termFormat ChineseLanguage ReligiousService "宗教服务") domainEnglishFormat.kif 49440-49440 ChristianService est une sous-classe de ReligiousService
(termFormat ChineseTraditionalLanguage ReligiousService "宗教服務") domainEnglishFormat.kif 49439-49439 ChristianService est une sous-classe de ReligiousService
(termFormat EnglishLanguage ReligiousService "religious service") domainEnglishFormat.kif 49438-49438 ChristianService est une sous-classe de ReligiousService

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


(=>
    (instance ?MIT BarMitzvah)
    (exists (?PROC)
        (and
            (instance ?PROC ReligiousService)
            (subProcess ?PROC ?MIT))))		 Biography.kif 89-94
(=>
    (instance ?MIT BatMitzvah)
    (exists (?PROC)
        (and
            (instance ?PROC ReligiousService)
            (subProcess ?PROC ?MIT))))		 Biography.kif 120-125
(=>
    (instance ?RF ReligiousFuneral)
    (exists (?S)
        (and
            (instance ?S ReligiousService)
            (subProcess ?S ?RF))))		 Mid-level-ontology.kif 17415-17420
(=>
    (instance ?SERMON Sermon)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE ReligiousService)
            (subProcess ?SERMON ?SERVICE))))		 Mid-level-ontology.kif 17329-17334
(=>
    (instance ?WED ReligiousWedding)
    (exists (?PROC)
        (and
            (instance ?PROC ReligiousService)
            (subProcess ?PROC ?WED))))		 Biography.kif 57-62


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