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

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


(instance Abbot ReligiousPosition) People.kif 1235-1235
(instance Ayatollah ReligiousPosition) People.kif 1407-1407
(instance Bishop ReligiousPosition) People.kif 852-852
(instance Cardinal ReligiousPosition) People.kif 1320-1320
(instance Chaplain ReligiousPosition) People.kif 1159-1159
(instance Cleric ReligiousPosition) Mid-level-ontology.kif 20668-20668
(instance Deacon ReligiousPosition) Mid-level-ontology.kif 20679-20679
(instance Monk ReligiousPosition) People.kif 706-706
(instance Pope ReligiousPosition) People.kif 1313-1313
(instance Rabbi ReligiousPosition) People.kif 1458-1458
(termFormat ChineseLanguage ReligiousPosition "宗教立场") domainEnglishFormat.kif 49416-49416
(termFormat ChineseTraditionalLanguage ReligiousPosition "宗教立場") domainEnglishFormat.kif 49415-49415
(termFormat EnglishLanguage ReligiousPosition "religious position") domainEnglishFormat.kif 49414-49414

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


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


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