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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousPosition
ReligiousPosition(religious position)Grand_Inquisitor, Guru, Mahdi, Photius, exorcist, guru, liturgist

appearance as argument number 1
-------------------------


(documentation ReligiousPosition EnglishLanguage "Any Position within a ReligousOrganization.") Mid-level-ontology.kif 20218-20218
(subclass ReligiousPosition Position) Mid-level-ontology.kif 20217-20217 Religious position is a subclass of position

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


(instance Abbot ReligiousPosition) People.kif 1219-1219 Abbot is an instance of religious position
(instance Ayatollah ReligiousPosition) People.kif 1391-1391 Ayatollah is an instance of religious position
(instance Bishop ReligiousPosition) People.kif 836-836 Bishop is an instance of religious position
(instance Cardinal ReligiousPosition) People.kif 1304-1304 Cardinal is an instance of religious position
(instance Chaplain ReligiousPosition) People.kif 1143-1143 Chaplain is an instance of religious position
(instance Cleric ReligiousPosition) Mid-level-ontology.kif 20227-20227 Cleric is an instance of religious position
(instance Deacon ReligiousPosition) Mid-level-ontology.kif 20238-20238 Deacon is an instance of religious position
(instance Monk ReligiousPosition) People.kif 690-690 Monk is an instance of religious position
(instance Pope ReligiousPosition) People.kif 1297-1297 Pope is an instance of religious position
(instance Rabbi ReligiousPosition) People.kif 1442-1442 Rabbi is an instance of religious position
(termFormat ChineseLanguage ReligiousPosition "宗教立场") domainEnglishFormat.kif 49413-49413
(termFormat ChineseTraditionalLanguage ReligiousPosition "宗教立場") domainEnglishFormat.kif 49412-49412
(termFormat EnglishLanguage ReligiousPosition "religious position") domainEnglishFormat.kif 49411-49411

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


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


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