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

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	ReligiousService is a subclass of Demonstrating
(subclass ReligiousService ReligiousProcess)	Mid-level-ontology.kif 9147-9147	ReligiousService is a subclass of religious process

appearance as argument number 2

(subclass ChristianService ReligiousService)	People.kif 779-779	ChristianService is a subclass of ReligiousService
(termFormat ChineseLanguage ReligiousService "宗教服务")	domainEnglishFormat.kif 49439-49439	ChristianService is a subclass of ReligiousService
(termFormat ChineseTraditionalLanguage ReligiousService "宗教服務")	domainEnglishFormat.kif 49438-49438	ChristianService is a subclass of ReligiousService
(termFormat EnglishLanguage ReligiousService "religious service")	domainEnglishFormat.kif 49437-49437	ChristianService is a subclass of ReligiousService

consequent

(=> (instance ?MIT BarMitzvah) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?MIT))))	Biography.kif 89-94	If a process is an instance of BarMitzvah, then there exists another process such that the other process is an instance of ReligiousService 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 BatMitzvah, then there exists another process such that the other process is an instance of ReligiousService 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 ReligiousFuneral, then there exists another process such that the other process is an instance of ReligiousService 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 ReligiousService 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 ReligiousWedding, then there exists another process such that the other process is an instance of ReligiousService 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