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 10593-10594 | |
(documentation ReligiousProcess JapaneseLanguage "OrganizationalProcess は、 ReligiousOrganization 内または ReligiousOrganization によって実行される。") | japanese_format.kif 1700-1701 | |
(subclass ReligiousProcess OrganizationalProcess) | Merge.kif 10591-10591 | 宗教过程 是 机构性过程 的 subclass |
appearance as argument number 2 |
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 |
consequent |
(=> (instance ?X PlaceOfWorship) (hasPurpose ?X (exists (?EV) (and (instance ?EV ReligiousProcess) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 22574-22580 | |
(=> (instance ?X Theology) (exists (?Y) (and (instance ?Y ReligiousProcess) (refers ?X ?Y)))) |
Mid-level-ontology.kif 21344-21349 |