more pictures...| Christianity(christianity)
more pictures... |
| appearance as argument number 1 |
|
| (instance Christianity BeliefGroup) | People.kif 774-774 | Christianity is an instance of belief group |
| (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 | Christianity is an instance of belief group |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Andrej_Rubl%C3%ABv_001.jpg") | pictureList.kif 5912-5912 | Christianity is an instance of belief group |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ Ignatius.jpg") | pictureList.kif 6264-6264 | Christianity is an instance of belief group |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Nicaea_icon.jpg") | pictureList.kif 6265-6265 | Christianity is an instance of belief group |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Fractio_panis1.JPG") | pictureList.kif 6266-6266 | Christianity is an instance of belief group |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Bloch_SermonOnTheMount.jpg") | pictureList.kif 6267-6267 | Christianity is an instance of belief group |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CouncilofClermont.jpg") | pictureList.kif 6268-6268 | Christianity is an instance of belief group |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Christianity_percentage_by_country.png") | pictureList.kif 6271-6271 | Christianity is an instance of belief group |
| appearance as argument number 2 |
|
|
| (subCollection Anglicanism Christianity) | People.kif 1218-1218 | Anglicanism is a proper sub-collection of christianity |
| (subCollection EasternOrthodoxChristianity Christianity) | People.kif 1240-1240 | Eastern orthodox christianity is a proper sub-collection of christianity |
| (subCollection Protestantism Christianity) | People.kif 1254-1254 | Protestantism is a proper sub-collection of christianity |
| (subCollection RomanCatholicism Christianity) | People.kif 1268-1268 | Roman catholicism is a proper sub-collection of christianity |
| (termFormat EnglishLanguage Christianity "christianity") | domainEnglishFormat.kif 14730-14730 | Roman catholicism is a proper sub-collection of christianity |
| (termFormat ChineseTraditionalLanguage Christianity "基督教") | domainEnglishFormat.kif 14731-14731 | Roman catholicism is a proper sub-collection of christianity |
| (termFormat ChineseLanguage Christianity "基督教") | domainEnglishFormat.kif 14732-14732 | Roman catholicism is a proper sub-collection of christianity |
| 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 | If X is an instance of ordaining, Y is a patient of X, Y is an instance of human, and Y is a member of christianity, then All of the following hold: (1) X has the purpose there exist Z (2) W such that Z is an instance of ceremony (3) W is an instance of appointing (4) W is a subprocess of Z (5) Y is a patient of W (6) appointed position W, Y (7) cleric |
| consequent |
|
|
| (=> (and (instance ?SERVICE ChristianService) (agent ?SERVICE ?PERSON) (instance ?PERSON Human)) (member ?PERSON Christianity)) |
People.kif 783-788 | If X is an instance of christian service, Y is an agent of X, and Y is an instance of human, then Y is a member of christianity |
| (=> (and (attribute ?INDIVIDUAL ?CH) (instance ?CH Christian)) (member ?INDIVIDUAL Christianity)) |
People.kif 795-799 | If X is an attribute of Y and X is an instance of christian, then Y is a member of christianity |
|
|
|