more pictures...
| Christianity
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Christianity EnglishLanguage "The religion derived from Jesus Christ, based on the Bible as sacred scripture, and professed by Eastern, Catholic, and Protestant bodies, among other subdivisions.") | People.kif 777-779 | |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Andrej_Rubl%C3%ABv_001.jpg") | pictureList.kif 5914-5914 | |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ Ignatius.jpg") | pictureList.kif 6266-6266 | |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Nicaea_icon.jpg") | pictureList.kif 6267-6267 | |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Fractio-panis1.JPG") | pictureList.kif 6268-6268 | |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Bloch-SermonOnTheMount.jpg") | pictureList.kif 6269-6269 | |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CouncilofClermont.jpg") | pictureList.kif 6270-6270 | |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Christianity_percentage_by_country.png") | pictureList.kif 6273-6273 | |
| (instance Christianity BeliefGroup) | People.kif 776-776 |
| appearance as argument number 2 |
|
|
| (subCollection Anglicanism Christianity) | People.kif 1219-1219 | |
| (subCollection EasternOrthodoxChristianity Christianity) | People.kif 1241-1241 | |
| (subCollection Protestantism Christianity) | People.kif 1255-1255 | |
| (subCollection RomanCatholicism Christianity) | People.kif 1269-1269 | |
| (termFormat ChineseLanguage Christianity "基督教") | domainEnglishFormat.kif 14740-14740 | |
| (termFormat ChineseTraditionalLanguage Christianity "基督教") | domainEnglishFormat.kif 14739-14739 | |
| (termFormat EnglishLanguage Christianity "christianity") | domainEnglishFormat.kif 14738-14738 |
| consequent |
|
|
| (<=> (and (attribute ?INDIVIDUAL ?CH) (instance ?CH Christian)) (member ?INDIVIDUAL Christianity)) |
People.kif 797-801 | |
| (=> (and (instance ?SERVICE ChristianService) (agent ?SERVICE ?PERSON) (instance ?PERSON Human)) (member ?PERSON Christianity)) |
People.kif 785-790 |
|
|
|