| ReligiousProcess | |
| 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 10697-10698 | |
| (documentation ReligiousProcess JapaneseLanguage "OrganizationalProcess は、 ReligiousOrganization 内または ReligiousOrganization によって実行される。") | japanese_format.kif 1700-1701 | |
| (subclass ReligiousProcess OrganizationalProcess) | Merge.kif 10695-10695 |
| appearance as argument number 2 |
|
|
| (subclass Aqiqah ReligiousProcess) | ArabicCulture.kif 324-324 | |
| (subclass Baptizing ReligiousProcess) | Mid-level-ontology.kif 9159-9159 | |
| (subclass BarMitzvah ReligiousProcess) | Biography.kif 67-67 | |
| (subclass BatMitzvah ReligiousProcess) | Biography.kif 98-98 | |
| (subclass EidAladha ReligiousProcess) | ArabicCulture.kif 272-272 | |
| (subclass Hajj ReligiousProcess) | ArabicCulture.kif 120-120 | |
| (subclass IhramPeriod ReligiousProcess) | ArabicCulture.kif 169-169 | |
| (subclass IslamicMilitancy ReligiousProcess) | TransnationalIssues.kif 51-51 | |
| (subclass Khitan ReligiousProcess) | ArabicCulture.kif 344-344 | |
| (subclass Ordaining ReligiousProcess) | Biography.kif 130-130 | |
| (subclass Praying ReligiousProcess) | Mid-level-ontology.kif 9170-9170 | |
| (subclass ReligiousFuneral ReligiousProcess) | Mid-level-ontology.kif 17412-17412 | |
| (subclass ReligiousService ReligiousProcess) | Mid-level-ontology.kif 9152-9152 | |
| (subclass ReligiousWedding ReligiousProcess) | Biography.kif 55-55 | |
| (subclass UdhiyahRitual ReligiousProcess) | ArabicCulture.kif 242-242 | |
| (subclass Umrah ReligiousProcess) | ArabicCulture.kif 184-184 | |
| (subclass Zakat ReligiousProcess) | ArabicCulture.kif 195-195 | |
| (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 10700-10709 |
| consequent |
|
|
| (=> (instance ?X PlaceOfWorship) (hasPurpose ?X (exists (?EV) (and (instance ?EV ReligiousProcess) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 24163-24169 | |
| (=> (instance ?X Theology) (exists (?Y) (and (instance ?Y ReligiousProcess) (refers ?X ?Y)))) |
Mid-level-ontology.kif 22934-22939 |
|
|
|