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 subclass ReligiousPosition and Position

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


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