ReligiousPosition
|
|
appearance as argument number 1 |
(documentation ReligiousPosition EnglishLanguage "Any Position within a ReligousOrganization.") | Mid-level-ontology.kif 20876-20876 | |
(subclass ReligiousPosition Position) | Mid-level-ontology.kif 20875-20875 | 子類 宗教立場 and Position |
appearance as argument number 2 |
antecedent |
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P ReligiousPosition)) (instance ?O ReligiousOrganization)) |
Mid-level-ontology.kif 20878-20882 |
|
consequent |
(=> (instance ?ORD Ordaining) (hasPurpose ?ORD (exists (?X ?ORG ?POS) (and (patient ?ORD ?X) (instance ?X Human) (instance ?ORG ReligiousOrganization) (member ?X ?ORG) (result ?ORD ?POS) (instance ?POS ReligiousPosition) (occupiesPosition ?X ?POS ?ORG))))) |
Biography.kif 132-143 |