Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
RomanCatholicism(roman catholicism)
more pictures... |  | Roman_Catholicism, Romanism, papism |
| appearance as argument number 1 |
|
|
| (instance RomanCatholicism BeliefGroup) | People.kif 1301-1301 | Roman catholicism is an instance of belief group |
| (subCollection RomanCatholicism Christianity) | People.kif 1302-1302 | Roman catholicism is a proper sub-collection of christianity |
| (documentation RomanCatholicism EnglishLanguage "RomanCathoicism is one of the three major divisions of Christianity.") | People.kif 1303-1304 | Roman catholicism is a proper sub-collection of christianity |
| (externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ P%C3%A4pstliches_Symbol.jpg") | pictureList.kif 6827-6827 | Roman catholicism is a proper sub-collection of christianity |
| (externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Dalmatic.jpg") | pictureList.kif 7741-7741 | Roman catholicism is a proper sub-collection of christianity |
| (externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2b/ Teresa_of_Avila_dsc01644.jpg") | pictureList.kif 7742-7742 | Roman catholicism is a proper sub-collection of christianity |
| (externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Gesupietrochiave.jpg") | pictureList.kif 7743-7743 | Roman catholicism is a proper sub-collection of christianity |
| (externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ BentoXVI-51-11052007_%28frag%29.jpg") | pictureList.kif 7744-7744 | Roman catholicism is a proper sub-collection of christianity |
| (externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5d/ Basilica_di_San_Pietro_front_%28MM%29.jpg") | pictureList.kif 7745-7745 | Roman catholicism is a proper sub-collection of christianity |
| (externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 6/ 61/ Luther46c.jpg") | pictureList.kif 7746-7746 | Roman catholicism is a proper sub-collection of christianity |
| (externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Guido_Reni_031.jpg") | pictureList.kif 7747-7747 | Roman catholicism is a proper sub-collection of christianity |
| (externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Albrecht_D%C3%BCrer_022.jpg") | pictureList.kif 7749-7749 | Roman catholicism is a proper sub-collection of christianity |
| (externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Bloch_SermonOnTheMount.jpg") | pictureList.kif 7750-7750 | Roman catholicism is a proper sub-collection of christianity |
| (externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ The_Christian_Martyrs_Last_Prayer.jpg") | pictureList.kif 7751-7751 | Roman catholicism is a proper sub-collection of christianity |
| (externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ d/ d4/ Heiligenkreuz.St._Benedict.jpg") | pictureList.kif 7752-7752 | Roman catholicism is a proper sub-collection of christianity |
| (externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CouncilofClermont.jpg") | pictureList.kif 7753-7753 | Roman catholicism is a proper sub-collection of christianity |
| (externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/en/ 9/ 90/ PapalMass1.JPG") | pictureList.kif 7754-7754 | Roman catholicism is a proper sub-collection of christianity |
| (externalImage RomanCatholicism "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Catholic_population.png") | pictureList.kif 7755-7755 | Roman catholicism is a proper sub-collection of christianity |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism)) |
People.kif 1310-1312 | Roman catholic is an attribute of X if and only if X is a member of roman catholicism |
|