ReligiousPosition - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ReligiousPosition Position)	Mid-level-ontology.kif 23184-23184	Religious position is a subclass of position
(documentation ReligiousPosition EnglishLanguage "Any Position within a ReligousOrganization.")	Mid-level-ontology.kif 23185-23185	Religious position is a subclass of position

appearance as argument number 2

(instance Cleric ReligiousPosition)	Mid-level-ontology.kif 23194-23194	Cleric is an instance of religious position
(instance Deacon ReligiousPosition)	Mid-level-ontology.kif 23205-23205	Deacon is an instance of religious position
(instance Monk ReligiousPosition)	People.kif 680-680	Monk is an instance of religious position
(instance Bishop ReligiousPosition)	People.kif 826-826	Bishop is an instance of religious position
(instance Chaplain ReligiousPosition)	People.kif 1134-1134	Chaplain is an instance of religious position
(instance Abbot ReligiousPosition)	People.kif 1210-1210	Abbot is an instance of religious position
(instance Pope ReligiousPosition)	People.kif 1288-1288	Pope is an instance of religious position
(instance Cardinal ReligiousPosition)	People.kif 1295-1295	Cardinal is an instance of religious position
(instance Ayatollah ReligiousPosition)	People.kif 1382-1382	Ayatollah is an instance of religious position
(instance Rabbi ReligiousPosition)	People.kif 1433-1433	Rabbi is an instance of religious position
(termFormat EnglishLanguage ReligiousPosition "religious position")	domainEnglishFormat.kif 49425-49425	Rabbi is an instance of religious position
(termFormat ChineseTraditionalLanguage ReligiousPosition "宗教立場")	domainEnglishFormat.kif 49426-49426	Rabbi is an instance of religious position
(termFormat ChineseLanguage ReligiousPosition "宗教立场")	domainEnglishFormat.kif 49427-49427	Rabbi is an instance of religious position

antecedent

(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P ReligiousPosition))
    (instance ?O ReligiousOrganization))

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

If X is an instance of ordaining, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is a patient of X (3) Y is an instance of human (4) Z is an instance of religious organization (5) Y is a member of Z (6) W is a result of X (7) W is an instance of religious position (8) Y holds the position of W in Z