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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RomanCatholicChurch
RomanCatholicChurch

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


(documentation RomanCatholicChurch EnglishLanguage "The RomanCatholicChurch is the ReligiousOrganization that promulgates RomanCatholicism.") People.kif 1306-1307
(externalImage RomanCatholicChurch "http://upload.wikimedia.org/wikipedia/ commons/ a/ a9/ Emblem_of_the_Papacy.svg") pictureList.kif 4810-4810
(instance RomanCatholicChurch ReligiousOrganization) People.kif 1305-1305

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


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

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


(=>
    (occupiesPosition ?H Pope RomanCatholicChurch)
    (leader RomanCatholicChurch ?H))
People.kif 1316-1318

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


(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))
People.kif 1309-1311
(=>
    (instance ?C LocalRomanCatholicChurch)
    (subOrganization ?C RomanCatholicChurch))
People.kif 919-921
(=>
    (occupiesPosition ?H Pope RomanCatholicChurch)
    (leader RomanCatholicChurch ?H))
People.kif 1316-1318


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