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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BrachioradialisMuscle

Sigma KEE - ReligiousPosition
ReligiousPosition

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


(documentation ReligiousPosition EnglishLanguage "Any Position within a ReligousOrganization.") Mid-level-ontology.kif 20904-20904
(subclass ReligiousPosition Position) Mid-level-ontology.kif 20903-20903 ReligiousPosition est une sous-classe de position

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


(instance Abbot ReligiousPosition) People.kif 1209-1209 Abbot est une instance de ReligiousPosition
(instance Ayatollah ReligiousPosition) People.kif 1381-1381 Ayatollah est une instance de ReligiousPosition
(instance Bishop ReligiousPosition) People.kif 826-826 Bishop est une instance de ReligiousPosition
(instance Cardinal ReligiousPosition) People.kif 1294-1294 Cardinal est une instance de ReligiousPosition
(instance Chaplain ReligiousPosition) People.kif 1133-1133 Chaplain est une instance de ReligiousPosition
(instance Cleric ReligiousPosition) Mid-level-ontology.kif 20913-20913 Cleric est une instance de ReligiousPosition
(instance Deacon ReligiousPosition) Mid-level-ontology.kif 20924-20924 Deacon est une instance de ReligiousPosition
(instance Monk ReligiousPosition) People.kif 680-680 Monk est une instance de ReligiousPosition
(instance Pope ReligiousPosition) People.kif 1287-1287 Pope est une instance de ReligiousPosition
(instance Rabbi ReligiousPosition) People.kif 1432-1432 Rabbi est une instance de ReligiousPosition
(termFormat ChineseLanguage ReligiousPosition "宗教立场") domainEnglishFormat.kif 49432-49432
(termFormat ChineseTraditionalLanguage ReligiousPosition "宗教立場") domainEnglishFormat.kif 49431-49431
(termFormat EnglishLanguage ReligiousPosition "religious position") domainEnglishFormat.kif 49430-49430

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


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

consequent
-------------------------


(=>
    (instance ?ORD Ordaining)
    (hasPurpose ?ORD
        (exists (?X ?ORG ?POS)
            (and
                (patient ?ORD ?X)
                (instance ?X Human)
                (instance ?ORG ReligiousOrganization)
                (member ?X ?ORG)
                (result ?ORD ?POS)
                (instance ?POS ReligiousPosition)
                (occupiesPosition ?X ?POS ?ORG)))))
Biography.kif 132-143


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