Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousPosition
ReligiousPosition(宗教立场)

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 宗教立场地位subclass

appearance as argument number 2
-------------------------


(instance Abbot ReligiousPosition) People.kif 1209-1209 方丈宗教立场instance
(instance Ayatollah ReligiousPosition) People.kif 1381-1381 阿亚图拉宗教立场instance
(instance Bishop ReligiousPosition) People.kif 826-826 主教宗教立场instance
(instance Cardinal ReligiousPosition) People.kif 1294-1294 根本宗教立场instance
(instance Chaplain ReligiousPosition) People.kif 1133-1133 牧师宗教立场instance
(instance Cleric ReligiousPosition) Mid-level-ontology.kif 20886-20886 牧师宗教立场instance
(instance Deacon ReligiousPosition) Mid-level-ontology.kif 20897-20897 执事宗教立场instance
(instance Monk ReligiousPosition) People.kif 680-680 宗教立场instance
(instance Pope ReligiousPosition) People.kif 1287-1287 教皇宗教立场instance
(instance Rabbi ReligiousPosition) People.kif 1432-1432 拉比宗教立场instance
(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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners