ReligiousPosition Male
|
|
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 è una sottoclasse di Posizione |
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 |
|