ReligiousProcess - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ReligiousProcess ChineseLanguage "这是一个在 ReligiousOrganization 内或由它举行的 OrganizationalProcess。")	chinese_format.kif 2945-2946
(documentation ReligiousProcess EnglishLanguage "An OrganizationalProcess that is carried out within or by a ReligiousOrganization.")	Merge.kif 10593-10594
(documentation ReligiousProcess JapaneseLanguage "OrganizationalProcess は、 ReligiousOrganization 内または ReligiousOrganization によって実行される。")	japanese_format.kif 1700-1701
(subclass ReligiousProcess OrganizationalProcess)	Merge.kif 10591-10591	Religious process is a subclass of organizational process

appearance as argument number 2

(subclass Aqiqah ReligiousProcess)	ArabicCulture.kif 324-324	Aqiqah is a subclass of religious process
(subclass Baptizing ReligiousProcess)	Mid-level-ontology.kif 8210-8210	Baptizing is a subclass of religious process
(subclass BarMitzvah ReligiousProcess)	Biography.kif 66-66	BarMitzvah is a subclass of religious process
(subclass BatMitzvah ReligiousProcess)	Biography.kif 96-96	BatMitzvah is a subclass of religious process
(subclass EidAladha ReligiousProcess)	ArabicCulture.kif 272-272	Eid aladha is a subclass of religious process
(subclass Hajj ReligiousProcess)	ArabicCulture.kif 120-120	Hajj is a subclass of religious process
(subclass IhramPeriod ReligiousProcess)	ArabicCulture.kif 169-169	Ihram period is a subclass of religious process
(subclass IslamicMilitancy ReligiousProcess)	TransnationalIssues.kif 51-51	Islamic militancy is a subclass of religious process
(subclass Khitan ReligiousProcess)	ArabicCulture.kif 344-344	Khitan is a subclass of religious process
(subclass Ordaining ReligiousProcess)	Biography.kif 127-127	Ordaining is a subclass of religious process
(subclass Praying ReligiousProcess)	Mid-level-ontology.kif 8221-8221	Praying is a subclass of religious process
(subclass ReligiousFuneral ReligiousProcess)	Mid-level-ontology.kif 16243-16243	Religious funeral is a subclass of religious process
(subclass ReligiousService ReligiousProcess)	Mid-level-ontology.kif 8203-8203	Religious service is a subclass of religious process
(subclass ReligiousWedding ReligiousProcess)	Biography.kif 54-54	ReligiousWedding is a subclass of religious process
(subclass UdhiyahRitual ReligiousProcess)	ArabicCulture.kif 242-242	Udhiyah ritual is a subclass of religious process
(subclass Umrah ReligiousProcess)	ArabicCulture.kif 184-184	Umrah is a subclass of religious process
(subclass Zakat ReligiousProcess)	ArabicCulture.kif 195-195	Zakat is a subclass of religious process
(termFormat ChineseLanguage ReligiousProcess "宗教过程")	chinese_format.kif 1096-1096	Zakat is a subclass of religious process
(termFormat EnglishLanguage ReligiousProcess "religious process")	english_format.kif 1403-1403	Zakat is a subclass of religious process
(termFormat FrenchLanguage ReligiousProcess "processus religieux")	french_format.kif 774-774	Zakat is a subclass of religious process
(termFormat Hindi ReligiousProcess "dhaarmika prakriyaa")	terms-hindi.txt 306-306	Zakat is a subclass of religious process
(termFormat ItalianLanguage ReligiousProcess "ProcessoReligioso")	terms-it.txt 309-309	Zakat is a subclass of religious process
(termFormat JapaneseLanguage ReligiousProcess "宗教的プロセス")	japanese_format.kif 2458-2458	Zakat is a subclass of religious process
(termFormat PortugueseLanguage ReligiousProcess "Processo Religioso")	portuguese_format.kif 726-726	Zakat is a subclass of religious process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=>
    (and
        (instance ?ACT ReligiousProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT ReligiousOrganization)
        (exists (?ORG)
            (and
                (member ?AGENT ?ORG)
                (instance ?ORG ReligiousOrganization)))))

Merge.kif 10596-10605

If a process is an instance of religious process and an agent is an agent of the process,
then the agent is an instance of religious organization or there exists a collection such that the agent is a member of the collection and the collection is an instance of religious organization

consequent

(=> (instance ?X PlaceOfWorship) (hasPurpose ?X (exists (?EV) (and (instance ?EV ReligiousProcess) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 22805-22811	If a physical is an instance of place of worship, then the physical has the purpose there exists an entity such that the entity is an instance of religious process and the entity is located at the physical
(=> (instance ?X Theology) (exists (?Y) (and (instance ?Y ReligiousProcess) (refers ?X ?Y))))	Mid-level-ontology.kif 21575-21580	If an entity is an instance of theology, then there exists another entity such that the other entity is an instance of religious process and the entity includes a reference to the other entity

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

KB Term:			Term intersection

English Word: