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 8760-8762
(subclass ReligiousService Demonstrating)	Mid-level-ontology.kif 8759-8759	Religious service is a subclass of demonstrating
(subclass ReligiousService ReligiousProcess)	Mid-level-ontology.kif 8758-8758	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 49469-49469	Christian service is a subclass of religious service
(termFormat ChineseTraditionalLanguage ReligiousService "宗教服務")	domainEnglishFormat.kif 49468-49468	Christian service is a subclass of religious service
(termFormat EnglishLanguage ReligiousService "religious service")	domainEnglishFormat.kif 49467-49467	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 16956-16961	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 16870-16875	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