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

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


(instance Abbot ReligiousPosition) People.kif 1219-1219
(instance Ayatollah ReligiousPosition) People.kif 1391-1391
(instance Bishop ReligiousPosition) People.kif 836-836
(instance Cardinal ReligiousPosition) People.kif 1304-1304
(instance Chaplain ReligiousPosition) People.kif 1143-1143
(instance Cleric ReligiousPosition) Mid-level-ontology.kif 20227-20227
(instance Deacon ReligiousPosition) Mid-level-ontology.kif 20238-20238
(instance Monk ReligiousPosition) People.kif 690-690
(instance Pope ReligiousPosition) People.kif 1297-1297
(instance Rabbi ReligiousPosition) People.kif 1442-1442
(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