ReligiousPosition - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(instance Cleric ReligiousPosition)	Mid-level-ontology.kif 23128-23128	Cleric is an instance of religious position
(instance Deacon ReligiousPosition)	Mid-level-ontology.kif 23139-23139	Deacon is an instance of religious position
(instance Monk ReligiousPosition)	People.kif 714-714	Monk is an instance of religious position
(instance Bishop ReligiousPosition)	People.kif 860-860	Bishop is an instance of religious position
(instance Chaplain ReligiousPosition)	People.kif 1168-1168	Chaplain is an instance of religious position
(instance Abbot ReligiousPosition)	People.kif 1244-1244	Abbot is an instance of religious position
(instance Pope ReligiousPosition)	People.kif 1322-1322	Pope is an instance of religious position
(instance Cardinal ReligiousPosition)	People.kif 1329-1329	Cardinal is an instance of religious position
(instance Ayatollah ReligiousPosition)	People.kif 1416-1416	Ayatollah is an instance of religious position
(instance Rabbi ReligiousPosition)	People.kif 1467-1467	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