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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RomanCatholicChurch

Sigma KEE - RomanCatholicChurch
RomanCatholicChurch(roman catholic church)
Catholic, Church_of_Rome, Roman_Catholic, Roman_Catholic_Church, Roman_Church, Western_Church

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


(documentation RomanCatholicChurch EnglishLanguage "The RomanCatholicChurch is the ReligiousOrganization that promulgates RomanCatholicism.") People.kif 1280-1281
(externalImage RomanCatholicChurch "http://upload.wikimedia.org/wikipedia/ commons/ a/ a9/ Emblem_of_the_Papacy.svg") pictureList.kif 4809-4809
(instance RomanCatholicChurch ReligiousOrganization) People.kif 1279-1279 Roman catholic church is an instance of religious organization

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


(termFormat ChineseLanguage RomanCatholicChurch "罗马天主教会") domainEnglishFormat.kif 50330-50330
(termFormat ChineseTraditionalLanguage RomanCatholicChurch "羅馬天主教會") domainEnglishFormat.kif 50329-50329
(termFormat EnglishLanguage RomanCatholicChurch "roman catholic church") domainEnglishFormat.kif 50328-50328

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


(=>
    (occupiesPosition ?H Pope RomanCatholicChurch)
    (leader RomanCatholicChurch ?H))
People.kif 1290-1292

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


(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))
People.kif 1283-1285 Roman catholic is an attribute of an object if and only if the object is a member of roman catholic church
(=>
    (instance ?C LocalRomanCatholicChurch)
    (subOrganization ?C RomanCatholicChurch))
People.kif 893-895
(=>
    (occupiesPosition ?H Pope RomanCatholicChurch)
    (leader RomanCatholicChurch ?H))
People.kif 1290-1292


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