ReligiousPosition - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ReligiousPosition EnglishLanguage "Any Position within a ReligousOrganization.")	Mid-level-ontology.kif 20904-20904
(subclass ReligiousPosition Position)	Mid-level-ontology.kif 20903-20903	ReligiousPosition はポジションの subclass では %n

appearance as argument number 2

(instance Abbot ReligiousPosition)	People.kif 1209-1209	Abbot は ReligiousPosition の instance では %n
(instance Ayatollah ReligiousPosition)	People.kif 1381-1381	Ayatollah は ReligiousPosition の instance では %n
(instance Bishop ReligiousPosition)	People.kif 826-826	Bishop は ReligiousPosition の instance では %n
(instance Cardinal ReligiousPosition)	People.kif 1294-1294	Cardinal は ReligiousPosition の instance では %n
(instance Chaplain ReligiousPosition)	People.kif 1133-1133	Chaplain は ReligiousPosition の instance では %n
(instance Cleric ReligiousPosition)	Mid-level-ontology.kif 20913-20913	Cleric は ReligiousPosition の instance では %n
(instance Deacon ReligiousPosition)	Mid-level-ontology.kif 20924-20924	Deacon は ReligiousPosition の instance では %n
(instance Monk ReligiousPosition)	People.kif 680-680	Monk は ReligiousPosition の instance では %n
(instance Pope ReligiousPosition)	People.kif 1287-1287	Pope は ReligiousPosition の instance では %n
(instance Rabbi ReligiousPosition)	People.kif 1432-1432	Rabbi は ReligiousPosition の instance では %n
(termFormat ChineseLanguage ReligiousPosition "宗教立场")	domainEnglishFormat.kif 49432-49432
(termFormat ChineseTraditionalLanguage ReligiousPosition "宗教立場")	domainEnglishFormat.kif 49431-49431
(termFormat EnglishLanguage ReligiousPosition "religious position")	domainEnglishFormat.kif 49430-49430

antecedent

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

Mid-level-ontology.kif 20906-20910

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