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 5913-5913 | |
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ Ignatius.jpg") | pictureList.kif 6265-6265 | |
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Nicaea_icon.jpg") | pictureList.kif 6266-6266 | |
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Fractio-panis1.JPG") | pictureList.kif 6267-6267 | |
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Bloch-SermonOnTheMount.jpg") | pictureList.kif 6268-6268 | |
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CouncilofClermont.jpg") | pictureList.kif 6269-6269 | |
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Christianity_percentage_by_country.png") | pictureList.kif 6272-6272 | |
(instance Christianity BeliefGroup) | People.kif 774-774 | Christianity is an instance of belief group |
appearance as argument number 2 |
(subCollection Anglicanism Christianity) | People.kif 1217-1217 | Anglicanism is a proper sub-collection of christianity |
(subCollection EasternOrthodoxChristianity Christianity) | People.kif 1239-1239 | Eastern orthodox christianity is a proper sub-collection of christianity |
(subCollection Protestantism Christianity) | People.kif 1253-1253 | Protestantism is a proper sub-collection of christianity |
(subCollection RomanCatholicism Christianity) | People.kif 1267-1267 | Roman catholicism is a proper sub-collection of christianity |
(termFormat ChineseLanguage Christianity "基督教") | domainEnglishFormat.kif 14730-14730 | |
(termFormat ChineseTraditionalLanguage Christianity "基督教") | domainEnglishFormat.kif 14729-14729 | |
(termFormat EnglishLanguage Christianity "christianity") | domainEnglishFormat.kif 14728-14728 |
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 156-169 |
|
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 |
|