|
|
  Christianity
|
|
|
| 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 and "http://upload.wikimedia.org/wikipedia/commons/1/17/ Andrej_Rubl%C3%ABv_001.jpg" |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ Ignatius.jpg") | pictureList.kif 6266-6266 | externalImage Christianity and "http://upload.wikimedia.org/wikipedia/commons/2/27/ Ignatius.jpg" |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Nicaea_icon.jpg") | pictureList.kif 6267-6267 | externalImage Christianity and "http://upload.wikimedia.org/wikipedia/commons/3/31/ Nicaea_icon.jpg" |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Fractio-panis1.JPG") | pictureList.kif 6268-6268 | externalImage Christianity and "http://upload.wikimedia.org/wikipedia/commons/6/6c/ Fractio-panis1.JPG" |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Bloch-SermonOnTheMount.jpg") | pictureList.kif 6269-6269 | externalImage Christianity and "http://upload.wikimedia.org/wikipedia/commons/9/96/ Bloch-SermonOnTheMount.jpg" |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CouncilofClermont.jpg") | pictureList.kif 6270-6270 | externalImage Christianity and "http://upload.wikimedia.org/wikipedia/commons/d/d5/ CouncilofClermont.jpg" |
| (externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Christianity_percentage_by_country.png") | pictureList.kif 6273-6273 | externalImage Christianity and "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Christianity_percentage_by_country.png" |
| (instance Christianity BeliefGroup) | People.kif 776-776 | Christianity 是 BeliefGroup 的 instance |
| appearance as argument number 2 |
|
|
| (subCollection Anglicanism Christianity) | People.kif 1219-1219 | Anglicanism 是 Christianity 的 真正的子集 |
| (subCollection EasternOrthodoxChristianity Christianity) | People.kif 1241-1241 | EasternOrthodoxChristianity 是 Christianity 的 真正的子集 |
| (subCollection Protestantism Christianity) | People.kif 1255-1255 | Protestantism 是 Christianity 的 真正的子集 |
| (subCollection RomanCatholicism Christianity) | People.kif 1269-1269 | RomanCatholicism 是 Christianity 的 真正的子集 |
| (termFormat EnglishLanguage Christianity "christianity") | domainEnglishFormat.kif 2878-2878 | termFormat EnglishLanguage, Christianity and "christianity" |
| consequent |
|
|
| (<=> (and (attribute ?INDIVIDUAL ?CH) (instance ?CH Christian)) (member ?INDIVIDUAL Christianity)) |
People.kif 797-801 | 实体 是 客体 的 attribute 和 那个 实体 是 Christian 的 instance 若且唯若 那个 客体 是 Christianity 的 member |
| (=> (and (instance ?SERVICE ChristianService) (agent ?SERVICE ?PERSON) (instance ?PERSON Human)) (member ?PERSON Christianity)) |
People.kif 785-790 |
|
|
|
