ReligiousService - Sigma Knowledge base Browser

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 9149-9151
(subclass ReligiousService Demonstrating)	Mid-level-ontology.kif 9148-9148	Religious service is a subclass of demonstrating
(subclass ReligiousService ReligiousProcess)	Mid-level-ontology.kif 9147-9147	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 49439-49439	Christian service is a subclass of religious service
(termFormat ChineseTraditionalLanguage ReligiousService "宗教服務")	domainEnglishFormat.kif 49438-49438	Christian service is a subclass of religious service
(termFormat EnglishLanguage ReligiousService "religious service")	domainEnglishFormat.kif 49437-49437	Christian service is a subclass of religious service

consequent

(=> (instance ?MIT BarMitzvah) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?MIT))))	Biography.kif 89-94	If a process is an instance of bar mitzvah, then there exists another process such that the other process is an instance of religious service and the other process is a subprocess of the process
(=> (instance ?MIT BatMitzvah) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?MIT))))	Biography.kif 120-125	If a process is an instance of bat mitzvah, then there exists another process such that the other process is an instance of religious service and the other process is a subprocess of the process
(=> (instance ?RF ReligiousFuneral) (exists (?S) (and (instance ?S ReligiousService) (subProcess ?S ?RF))))	Mid-level-ontology.kif 17401-17406	If a process is an instance of religious funeral, then there exists another process such that the other process is an instance of religious service and the other process is a subprocess of the process
(=> (instance ?SERMON Sermon) (exists (?SERVICE) (and (instance ?SERVICE ReligiousService) (subProcess ?SERMON ?SERVICE))))	Mid-level-ontology.kif 17318-17323	If a process is an instance of sermon, then there exists another process such that the other process is an instance of religious service and the process is a subprocess of the other process
(=> (instance ?WED ReligiousWedding) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?WED))))	Biography.kif 57-62	If a process is an instance of religious wedding, then there exists another process such that the other process is an instance of religious service and the other process is a subprocess of the process

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