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 | 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 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 |
|