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

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 18584-18584
(instance Deacon ReligiousPosition) Mid-level-ontology.kif 18596-18596
(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 49424-49424
(termFormat ChineseTraditionalLanguage ReligiousPosition "宗教立場") domainEnglishFormat.kif 49423-49423
(termFormat EnglishLanguage ReligiousPosition "religious position") domainEnglishFormat.kif 49422-49422

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


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


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