ReligiousPosition - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 22487-22491

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