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 18542-18542
(subclass ReligiousPosition Position) Mid-level-ontology.kif 18541-18541

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


(instance Abbot ReligiousPosition) People.kif 1211-1211
(instance Ayatollah ReligiousPosition) People.kif 1383-1383
(instance Bishop ReligiousPosition) People.kif 828-828
(instance Cardinal ReligiousPosition) People.kif 1296-1296
(instance Chaplain ReligiousPosition) People.kif 1135-1135
(instance Cleric ReligiousPosition) Mid-level-ontology.kif 18552-18552
(instance Deacon ReligiousPosition) Mid-level-ontology.kif 18564-18564
(instance Monk ReligiousPosition) People.kif 682-682
(instance Pope ReligiousPosition) People.kif 1289-1289
(instance Rabbi ReligiousPosition) People.kif 1434-1434
(termFormat ChineseLanguage ReligiousPosition "宗教立场") domainEnglishFormat.kif 49369-49369
(termFormat ChineseTraditionalLanguage ReligiousPosition "宗教立場") domainEnglishFormat.kif 49368-49368
(termFormat EnglishLanguage ReligiousPosition "religious position") domainEnglishFormat.kif 49367-49367

antecedent
-------------------------


(=>
    (and
        (occupiesPosition ?H ?P ?O)
        (instance ?P ReligiousPosition))
    (instance ?O ReligiousOrganization))
Mid-level-ontology.kif 18544-18548


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners