ReligiousPosition(religious position) | ![]() | Grand_Inquisitor, Guru, Mahdi, Photius, exorcist, guru, liturgist |
appearance as argument number 1 |
![]() |
(documentation ReligiousPosition EnglishLanguage "Any Position within a ReligousOrganization.") | Mid-level-ontology.kif 22494-22494 | |
(subclass ReligiousPosition Position) | Mid-level-ontology.kif 22493-22493 | Religious position is a subclass of position |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (occupiesPosition ?H ?P ?O) (instance ?P ReligiousPosition)) (instance ?O ReligiousOrganization)) |
Mid-level-ontology.kif 22496-22500 |
|
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 136-147 |
|
![]() |
![]() |