Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass ReligiousService ReligiousProcess) Mid-level-ontology.kif 9192-9192 Religious service is a subclass of religious process
(subclass ReligiousService Demonstrating) Mid-level-ontology.kif 9193-9193 Religious service is a subclass of demonstrating
(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 9194-9196 Religious service is a subclass of demonstrating

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


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

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


(=>
    (instance ?SERMON Sermon)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE ReligiousService)
            (subProcess ?SERMON ?SERVICE))))		 Mid-level-ontology.kif 17483-17488 If X is an instance of sermon, then there exists Y such that Y is an instance of religious service and X is a subprocess of Y
(=>
    (instance ?RF ReligiousFuneral)
    (exists (?S)
        (and
            (instance ?S ReligiousService)
            (subProcess ?S ?RF))))		 Mid-level-ontology.kif 17566-17571 If X is an instance of religious funeral, then there exists Y such that Y is an instance of religious service and Y is a subprocess of X
(=>
    (instance ?WED ReligiousWedding)
    (exists (?PROC)
        (and
            (instance ?PROC ReligiousService)
            (subProcess ?PROC ?WED))))		 Biography.kif 57-62 If X is an instance of religious wedding, then there exists Y such that Y is an instance of religious service and Y is a subprocess of X
(=>
    (instance ?MIT BarMitzvah)
    (exists (?PROC)
        (and
            (instance ?PROC ReligiousService)
            (subProcess ?PROC ?MIT))))		 Biography.kif 89-94 If X is an instance of bar mitzvah, then there exists Y such that Y is an instance of religious service and Y is a subprocess of X
(=>
    (instance ?MIT BatMitzvah)
    (exists (?PROC)
        (and
            (instance ?PROC ReligiousService)
            (subProcess ?PROC ?MIT))))		 Biography.kif 120-125 If X is an instance of bat mitzvah, then there exists Y such that Y is an instance of religious service and Y is a subprocess of X


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