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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RomanCatholicism
RomanCatholicism(roman catholicism)
more pictures...
Roman_Catholicism, Romanism, papism

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


(documentation RomanCatholicism EnglishLanguage "RomanCathoicism is one of the three major divisions of Christianity.") People.kif 1268-1269
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ P%C3%A4pstliches_Symbol.jpg") pictureList.kif 6828-6828
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Dalmatic.jpg") pictureList.kif 7742-7742
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ Teresa_of_Avila_dsc01644.jpg") pictureList.kif 7743-7743
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Gesupietrochiave.jpg") pictureList.kif 7744-7744
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ BentoXVI-51-11052007_%28frag%29.jpg") pictureList.kif 7745-7745
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5d/ Basilica_di_San_Pietro_front_%28MM%29.jpg") pictureList.kif 7746-7746
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 6/ 61/ Luther46c.jpg") pictureList.kif 7747-7747
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Guido_Reni_031.jpg") pictureList.kif 7748-7748
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Albrecht_D%C3%BCrer_022.jpg") pictureList.kif 7750-7750
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Bloch-SermonOnTheMount.jpg") pictureList.kif 7751-7751
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Catholic_population.png") pictureList.kif 7756-7756
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ The_Christian_Martyrs_Last_Prayer.jpg") pictureList.kif 7752-7752
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ d/ d4/ Heiligenkreuz.St._Benedict.jpg") pictureList.kif 7753-7753
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CouncilofClermont.jpg") pictureList.kif 7754-7754
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/en/ 9/ 90/ PapalMass1.JPG") pictureList.kif 7755-7755
(instance RomanCatholicism BeliefGroup) People.kif 1266-1266 Roman catholicism is an instance of belief group
(subCollection RomanCatholicism Christianity) People.kif 1267-1267 Roman catholicism is a proper sub-collection of christianity

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


(termFormat ChineseLanguage RomanCatholicism "罗马天主教") domainEnglishFormat.kif 50338-50338
(termFormat ChineseTraditionalLanguage RomanCatholicism "羅馬天主教") domainEnglishFormat.kif 50337-50337
(termFormat EnglishLanguage RomanCatholicism "roman catholicism") domainEnglishFormat.kif 50336-50336

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


(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))
People.kif 1275-1277 Roman catholic is an attribute of an object if and only if the object is a member of roman catholicism


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