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 8205-8207
(subclass ReligiousService Demonstrating)	Mid-level-ontology.kif 8204-8204	Religious service is a subclass of demonstrating
(subclass ReligiousService ReligiousProcess)	Mid-level-ontology.kif 8203-8203	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 49476-49476	Christian service is a subclass of religious service
(termFormat ChineseTraditionalLanguage ReligiousService "宗教服務")	domainEnglishFormat.kif 49475-49475	Christian service is a subclass of religious service
(termFormat EnglishLanguage ReligiousService "religious service")	domainEnglishFormat.kif 49474-49474	Christian service is a subclass of religious service

consequent

(=> (instance ?MIT BarMitzvah) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?MIT))))	Biography.kif 87-92	If a process is an instance of BarMitzvah, 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 117-122	If a process is an instance of BatMitzvah, 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 16246-16251	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 16160-16165	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 56-61	If a process is an instance of ReligiousWedding, 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