ReligiousPosition - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(instance Abbot ReligiousPosition)	People.kif 1209-1209	Abbot is an instance of religious position
(instance Ayatollah ReligiousPosition)	People.kif 1381-1381	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 1294-1294	Cardinal is an instance of religious position
(instance Chaplain ReligiousPosition)	People.kif 1133-1133	Chaplain is an instance of religious position
(instance Cleric ReligiousPosition)	Mid-level-ontology.kif 21144-21144	Cleric is an instance of religious position
(instance Deacon ReligiousPosition)	Mid-level-ontology.kif 21155-21155	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 1287-1287	Pope is an instance of religious position
(instance Rabbi ReligiousPosition)	People.kif 1432-1432	Rabbi is an instance of religious position
(termFormat ChineseLanguage ReligiousPosition "宗教立场")	domainEnglishFormat.kif 49470-49470	Rabbi is an instance of religious position
(termFormat ChineseTraditionalLanguage ReligiousPosition "宗教立場")	domainEnglishFormat.kif 49469-49469	Rabbi is an instance of religious position
(termFormat EnglishLanguage ReligiousPosition "religious position")	domainEnglishFormat.kif 49468-49468	Rabbi is an instance of religious position

antecedent

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

Mid-level-ontology.kif 21137-21141

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