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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousService
ReligiousService(religious service)committal_service, devotional, divine_service, none, religious_service, service, vesper

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 7987-7989
(subclass ReligiousService Demonstrating) Mid-level-ontology.kif 7986-7986 Religious service is a subclass of demonstrating
(subclass ReligiousService ReligiousProcess) Mid-level-ontology.kif 7985-7985 Religious service is a subclass of religious process

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


(subclass ChristianService ReligiousService) People.kif 779-779 Christian service is a subclass of religious service
(termFormat ChineseLanguage ReligiousService "宗教服务") domainEnglishFormat.kif 49436-49436
(termFormat ChineseTraditionalLanguage ReligiousService "宗教服務") domainEnglishFormat.kif 49435-49435
(termFormat EnglishLanguage ReligiousService "religious service") domainEnglishFormat.kif 49434-49434

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


(=>
    (instance ?MIT BarMitzvah)
    (exists (?PROC)
        (and
            (instance ?PROC ReligiousService)
            (subProcess ?PROC ?MIT))))
Biography.kif 87-92
(=>
    (instance ?MIT BatMitzvah)
    (exists (?PROC)
        (and
            (instance ?PROC ReligiousService)
            (subProcess ?PROC ?MIT))))
Biography.kif 117-122
(=>
    (instance ?RF ReligiousFuneral)
    (exists (?S)
        (and
            (instance ?S ReligiousService)
            (subProcess ?S ?RF))))
Mid-level-ontology.kif 16028-16033
(=>
    (instance ?SERMON Sermon)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE ReligiousService)
            (subProcess ?SERMON ?SERVICE))))
Mid-level-ontology.kif 15942-15947
(=>
    (instance ?WED ReligiousWedding)
    (exists (?PROC)
        (and
            (instance ?PROC ReligiousService)
            (subProcess ?PROC ?WED))))
Biography.kif 56-61


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