ReligiousPosition - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ReligiousPosition EnglishLanguage "Any Position within a ReligousOrganization.")	Mid-level-ontology.kif 20877-20877
(subclass ReligiousPosition Position)	Mid-level-ontology.kif 20876-20876	ReligiousPosition e' uma sub-classe de Posicao

appearance as argument number 2

(instance Abbot ReligiousPosition)	People.kif 1209-1209	Abbot e' uma instancia de ReligiousPosition
(instance Ayatollah ReligiousPosition)	People.kif 1381-1381	Ayatollah e' uma instancia de ReligiousPosition
(instance Bishop ReligiousPosition)	People.kif 826-826	Bishop e' uma instancia de ReligiousPosition
(instance Cardinal ReligiousPosition)	People.kif 1294-1294	Cardinal e' uma instancia de ReligiousPosition
(instance Chaplain ReligiousPosition)	People.kif 1133-1133	Chaplain e' uma instancia de ReligiousPosition
(instance Cleric ReligiousPosition)	Mid-level-ontology.kif 20886-20886	Cleric e' uma instancia de ReligiousPosition
(instance Deacon ReligiousPosition)	Mid-level-ontology.kif 20897-20897	Deacon e' uma instancia de ReligiousPosition
(instance Monk ReligiousPosition)	People.kif 680-680	Monk e' uma instancia de ReligiousPosition
(instance Pope ReligiousPosition)	People.kif 1287-1287	Pope e' uma instancia de ReligiousPosition
(instance Rabbi ReligiousPosition)	People.kif 1432-1432	Rabbi e' uma instancia de ReligiousPosition
(termFormat ChineseLanguage ReligiousPosition "宗教立场")	domainEnglishFormat.kif 49430-49430
(termFormat ChineseTraditionalLanguage ReligiousPosition "宗教立場")	domainEnglishFormat.kif 49429-49429
(termFormat EnglishLanguage ReligiousPosition "religious position")	domainEnglishFormat.kif 49428-49428

antecedent

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

Mid-level-ontology.kif 20879-20883

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