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 1270-1271
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ P%C3%A4pstliches_Symbol.jpg") pictureList.kif 6829-6829
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Dalmatic.jpg") pictureList.kif 7744-7744
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ Teresa_of_Avila_dsc01644.jpg") pictureList.kif 7745-7745
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Gesupietrochiave.jpg") pictureList.kif 7746-7746
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ BentoXVI-51-11052007_%28frag%29.jpg") pictureList.kif 7747-7747
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5d/ Basilica_di_San_Pietro_front_%28MM%29.jpg") pictureList.kif 7748-7748
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 6/ 61/ Luther46c.jpg") pictureList.kif 7749-7749
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Guido_Reni_031.jpg") pictureList.kif 7750-7750
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Albrecht_D%C3%BCrer_022.jpg") pictureList.kif 7752-7752
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Bloch-SermonOnTheMount.jpg") pictureList.kif 7753-7753
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Catholic_population.png") pictureList.kif 7758-7758
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ The_Christian_Martyrs_Last_Prayer.jpg") pictureList.kif 7754-7754
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ d/ d4/ Heiligenkreuz.St._Benedict.jpg") pictureList.kif 7755-7755
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CouncilofClermont.jpg") pictureList.kif 7756-7756
(externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/en/ 9/ 90/ PapalMass1.JPG") pictureList.kif 7757-7757
(instance RomanCatholicism BeliefGroup) People.kif 1268-1268 Roman catholicism is an instance of belief group
(subCollection RomanCatholicism Christianity) People.kif 1269-1269 Roman catholicism is a proper sub-collection of christianity

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


(termFormat ChineseLanguage RomanCatholicism "罗马天主教") domainEnglishFormat.kif 50234-50234
(termFormat ChineseTraditionalLanguage RomanCatholicism "羅馬天主教") domainEnglishFormat.kif 50233-50233
(termFormat EnglishLanguage RomanCatholicism "roman catholicism") domainEnglishFormat.kif 50232-50232

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


(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))
People.kif 1277-1279 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners