|
|
   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 10470-10471 | |
| (subclass ReligiousProcess OrganizationalProcess) | Merge.kif 10468-10468 |
| appearance as argument number 2 |
|
|
| (subclass Aqiqah ReligiousProcess) | ArabicCulture.kif 313-313 | |
| (subclass Baptizing ReligiousProcess) | Mid-level-ontology.kif 7665-7665 | |
| (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 7676-7676 | |
| (subclass ReligiousFuneral ReligiousProcess) | Mid-level-ontology.kif 15474-15474 | |
| (subclass ReligiousService ReligiousProcess) | Mid-level-ontology.kif 7658-7658 | |
| (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 1403-1403 |
| antecedent |
|
|
| (=> (and (instance ?ACT ReligiousProcess) (agent ?ACT ?AGENT)) (or (instance ?AGENT ReligiousOrganization) (exists (?ORG) (and (member ?AGENT ?ORG) (instance ?ORG ReligiousOrganization))))) |
Merge.kif 10473-10482 |
| consequent |
|
|
| (=> (instance ?X PlaceOfWorship) (hasPurpose ?X (exists (?EV) (and (instance ?EV ReligiousProcess) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 21968-21974 | |
| (=> (instance ?X Theology) (exists (?Y) (and (instance ?Y ReligiousProcess) (refers ?X ?Y)))) |
Mid-level-ontology.kif 20640-20645 |
|
|
|