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 775-777 | |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Andrej_Rubl%C3%ABv_001.jpg") | pictureList.kif 5912-5912 | |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ Ignatius.jpg") | pictureList.kif 6264-6264 | |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Nicaea_icon.jpg") | pictureList.kif 6265-6265 | |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Fractio_panis1.JPG") | pictureList.kif 6266-6266 | |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Bloch_SermonOnTheMount.jpg") | pictureList.kif 6267-6267 | |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CouncilofClermont.jpg") | pictureList.kif 6268-6268 | |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Christianity_percentage_by_country.png") | pictureList.kif 6271-6271 | |
| (instance Christianity BeliefGroup) | People.kif 774-774 | Christianity は BeliefGroup の instance では |
| appearance as argument number 2 |
|
|
| (subCollection Anglicanism Christianity) | People.kif 1218-1218 | Anglicanism は Christianity の 適切な sub-collection では |
| (subCollection EasternOrthodoxChristianity Christianity) | People.kif 1240-1240 | EasternOrthodoxChristianity は Christianity の 適切な sub-collection では |
| (subCollection Protestantism Christianity) | People.kif 1254-1254 | Protestantism は Christianity の 適切な sub-collection では |
| (subCollection RomanCatholicism Christianity) | People.kif 1268-1268 | RomanCatholicism は Christianity の 適切な sub-collection では |
| (termFormat ChineseLanguage Christianity "基督教") | domainEnglishFormat.kif 14739-14739 | RomanCatholicism は Christianity の 適切な sub-collection では |
| (termFormat ChineseTraditionalLanguage Christianity "基督教") | domainEnglishFormat.kif 14738-14738 | RomanCatholicism は Christianity の 適切な sub-collection では |
| (termFormat EnglishLanguage Christianity "christianity") | domainEnglishFormat.kif 14737-14737 | RomanCatholicism は Christianity の 適切な sub-collection では |
| antecedent |
|
|
| (=> (and (instance ?ORD Ordaining) (patient ?ORD ?X) (instance ?X Human) (member ?X Christianity)) (hasPurpose ?ORD (exists (?CER ?A) (and (instance ?CER Ceremony) (instance ?A Appointing) (subProcess ?A ?CER) (patient ?A ?X) (appointedPosition ?A ?X Cleric))))) |
Biography.kif 161-174 |
|
| consequent |
|
|
| (=> (and (attribute ?INDIVIDUAL ?CH) (instance ?CH Christian)) (member ?INDIVIDUAL Christianity)) |
People.kif 795-799 | |
| (=> (and (instance ?SERVICE ChristianService) (agent ?SERVICE ?PERSON) (instance ?PERSON Human)) (member ?PERSON Christianity)) |
People.kif 783-788 |
|
|
|
|