ReligiousPosition |
appearance as argument number 1 |
(documentation ReligiousPosition EnglishLanguage "Any Position within a ReligousOrganization.") | Mid-level-ontology.kif 20877-20877 | |
(subclass ReligiousPosition Position) | Mid-level-ontology.kif 20876-20876 | ReligiousPosition est une sous-classe de position |
appearance as argument number 2 |
antecedent |
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P ReligiousPosition)) (instance ?O ReligiousOrganization)) |
Mid-level-ontology.kif 20879-20883 |
|
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 |
|