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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReligiousPosition

Sigma KEE - ReligiousPosition
ReligiousPosition

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


(documentation ReligiousPosition EnglishLanguage "Any Position within a ReligousOrganization.") Mid-level-ontology.kif 20194-20194
(subclass ReligiousPosition Position) Mid-level-ontology.kif 20193-20193

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 20203-20203
(instance Deacon ReligiousPosition) Mid-level-ontology.kif 20214-20214
(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 20196-20200


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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