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 10559-10560
(documentation ReligiousProcess JapaneseLanguage "OrganizationalProcess は、 ReligiousOrganization 内または ReligiousOrganization によって実行される。")	japanese_format.kif 1700-1701
(subclass ReligiousProcess OrganizationalProcess)	Merge.kif 10557-10557	宗教过程是机构性过程的 subclass

appearance as argument number 2

(subclass Aqiqah ReligiousProcess)	ArabicCulture.kif 324-324	Aqiqah 是宗教过程的 subclass
(subclass Baptizing ReligiousProcess)	Mid-level-ontology.kif 7992-7992	施洗是宗教过程的 subclass
(subclass BarMitzvah ReligiousProcess)	Biography.kif 66-66	BarMitzvah 是宗教过程的 subclass
(subclass BatMitzvah ReligiousProcess)	Biography.kif 96-96	BatMitzvah 是宗教过程的 subclass
(subclass EidAladha ReligiousProcess)	ArabicCulture.kif 272-272	宰牲节是宗教过程的 subclass
(subclass Hajj ReligiousProcess)	ArabicCulture.kif 120-120	朝觐是宗教过程的 subclass
(subclass IhramPeriod ReligiousProcess)	ArabicCulture.kif 169-169	伊赫拉姆时期是宗教过程的 subclass
(subclass IslamicMilitancy ReligiousProcess)	TransnationalIssues.kif 51-51	伊斯兰激进分子是宗教过程的 subclass
(subclass Khitan ReligiousProcess)	ArabicCulture.kif 344-344	契丹是宗教过程的 subclass
(subclass Ordaining ReligiousProcess)	Biography.kif 127-127	Ordaining 是宗教过程的 subclass
(subclass Praying ReligiousProcess)	Mid-level-ontology.kif 8003-8003	祈祷是宗教过程的 subclass
(subclass ReligiousFuneral ReligiousProcess)	Mid-level-ontology.kif 16025-16025	ReligiousFuneral 是宗教过程的 subclass
(subclass ReligiousService ReligiousProcess)	Mid-level-ontology.kif 7985-7985	宗教服务是宗教过程的 subclass
(subclass ReligiousWedding ReligiousProcess)	Biography.kif 54-54	ReligiousWedding 是宗教过程的 subclass
(subclass UdhiyahRitual ReligiousProcess)	ArabicCulture.kif 242-242	Udhiyah仪式是宗教过程的 subclass
(subclass Umrah ReligiousProcess)	ArabicCulture.kif 184-184	Umrah 是宗教过程的 subclass
(subclass Zakat ReligiousProcess)	ArabicCulture.kif 195-195	天课是宗教过程的 subclass
(termFormat ChineseLanguage ReligiousProcess "宗教过程")	chinese_format.kif 1096-1096
(termFormat EnglishLanguage ReligiousProcess "religious process")	english_format.kif 1403-1403
(termFormat FrenchLanguage ReligiousProcess "processus religieux")	french_format.kif 774-774
(termFormat Hindi ReligiousProcess "dhaarmika prakriyaa")	terms-hindi.txt 306-306
(termFormat ItalianLanguage ReligiousProcess "ProcessoReligioso")	terms-it.txt 309-309
(termFormat JapaneseLanguage ReligiousProcess "宗教的プロセス")	japanese_format.kif 2458-2458
(termFormat PortugueseLanguage ReligiousProcess "Processo Religioso")	portuguese_format.kif 726-726

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 10562-10571

如果过程是宗教过程的 instance 和施事体是那个过程的 agent，
然后那个施事体是宗教机构的 instance 或有存在群体这样那个施事体是那个群体的 member 和那个群体是宗教机构的 instance

consequent

(=> (instance ?X PlaceOfWorship) (hasPurpose ?X (exists (?EV) (and (instance ?EV ReligiousProcess) (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 22522-22528	如果物理是礼拜的场所的 instance，然后那个物理的目的是有存在实体这样那个实体是宗教过程的 instance 和那个实体是 located 在那个物理
(=> (instance ?X Theology) (exists (?Y) (and (instance ?Y ReligiousProcess) (refers ?X ?Y))))	Mid-level-ontology.kif 21317-21322	如果实体是神学的 instance，然后有存在另一个实体这样那个另外实体是宗教过程的 instance 和那个实体提到那个另外实体

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: