| 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 9975-9976 | |
| (subclass ReligiousProcess OrganizationalProcess) | Merge.kif 9973-9973 |
| appearance as argument number 2 |
|
|
| (subclass Aqiqah ReligiousProcess) | ArabicCulture.kif 313-313 | |
| (subclass Baptizing ReligiousProcess) | Mid-level-ontology.kif 7671-7671 | |
| (subclass EidAladha ReligiousProcess) | ArabicCulture.kif 261-261 | |
| (subclass Hajj ReligiousProcess) | ArabicCulture.kif 111-111 | |
| (subclass IhramPeriod ReligiousProcess) | ArabicCulture.kif 160-160 | |
| (subclass IslamicMilitancy ReligiousProcess) | TransnationalIssues.kif 51-51 | |
| (subclass Khitan ReligiousProcess) | ArabicCulture.kif 333-333 | |
| (subclass Praying ReligiousProcess) | Mid-level-ontology.kif 7681-7681 | |
| (subclass ReligiousFuneral ReligiousProcess) | Mid-level-ontology.kif 13707-13707 | |
| (subclass ReligiousService ReligiousProcess) | Mid-level-ontology.kif 7652-7652 | |
| (subclass UdhiyahRitual ReligiousProcess) | ArabicCulture.kif 231-231 | |
| (subclass Umrah ReligiousProcess) | ArabicCulture.kif 175-175 | |
| (subclass Zakat ReligiousProcess) | ArabicCulture.kif 186-186 | |
| (termFormat ChineseLanguage ReligiousProcess "宗教过程") | chinese_format.kif 1096-1096 | |
| (termFormat EnglishLanguage ReligiousProcess "religious process") | english_format.kif 1408-1408 |
| antecedent |
|
|
| (=> (and (instance ?ACT ReligiousProcess) (agent ?ACT ?AGENT)) (or (instance ?AGENT ReligiousOrganization) (exists (?ORG) (and (member ?AGENT ?ORG) (instance ?ORG ReligiousOrganization))))) |
Merge.kif 9978-9987 |
| consequent |
|
|
| (=> (instance ?X PlaceOfWorship) (hasPurpose ?X (exists (?EV) (and (instance ?EV ReligiousProcess) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 20427-20433 | |
| (=> (instance ?X Theology) (exists (?Y) (and (instance ?Y ReligiousProcess) (refers ?X ?Y)))) |
Mid-level-ontology.kif 19010-19015 |
|
|
|