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 ist eine teilkategorie von Position

appearance as argument number 2

(instance Abbot ReligiousPosition)	People.kif 1209-1209	Abbot ist ein fall von ReligiousPosition %n{nicht}
(instance Ayatollah ReligiousPosition)	People.kif 1381-1381	Ayatollah ist ein fall von ReligiousPosition %n{nicht}
(instance Bishop ReligiousPosition)	People.kif 826-826	Bishop ist ein fall von ReligiousPosition %n{nicht}
(instance Cardinal ReligiousPosition)	People.kif 1294-1294	Cardinal ist ein fall von ReligiousPosition %n{nicht}
(instance Chaplain ReligiousPosition)	People.kif 1133-1133	Chaplain ist ein fall von ReligiousPosition %n{nicht}
(instance Cleric ReligiousPosition)	Mid-level-ontology.kif 20886-20886	Cleric ist ein fall von ReligiousPosition %n{nicht}
(instance Deacon ReligiousPosition)	Mid-level-ontology.kif 20897-20897	Deacon ist ein fall von ReligiousPosition %n{nicht}
(instance Monk ReligiousPosition)	People.kif 680-680	Monk ist ein fall von ReligiousPosition %n{nicht}
(instance Pope ReligiousPosition)	People.kif 1287-1287	Pope ist ein fall von ReligiousPosition %n{nicht}
(instance Rabbi ReligiousPosition)	People.kif 1432-1432	Rabbi ist ein fall von ReligiousPosition %n{nicht}
(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

Wenn Physical ist ein fall von Ordaining %n{nicht},
dann ** Physical hat Zweck von es gibt entity, ** entity, and und ** entity um ** entity ist ein patient von ** Physical %n{nicht} und ** entity ist ein fall von Human %n{nicht} und ** ** entity ist ein fall von ReligiousOrganization %n{nicht} und ** entity ist ein Mitglied von ** ** entity %n{nicht} und ** ** entity ist ein resultat von ** Physical %n{nicht} und ** ** entity ist ein fall von ReligiousPosition %n{nicht} und ** entity besetzt die position von ** ** entity in ** ** entity %n{nicht}