| Protestantism(protestantism)
| | Baptistic, Congregational, Congregationalist, Episcopal, Episcopalian, Lutheran, Methodist, Northern_Baptist, Protestant, Wesleyan |
| appearance as argument number 1 |
|
|
| (documentation Protestantism EnglishLanguage "Protestantism is one of the three major divisions of Christianity.") | People.kif 1254-1255 | |
| (externalImage Protestantism "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ 95Thesen.jpg") | pictureList.kif 6797-6797 | |
| (instance Protestantism BeliefGroup) | People.kif 1252-1252 | Protestantism is an instance of belief group |
| (subCollection Protestantism Christianity) | People.kif 1253-1253 | Protestantism is a proper sub_collection of christianity |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Protestantism "新教") | domainEnglishFormat.kif 47901-47901 | |
| (termFormat ChineseTraditionalLanguage Protestantism "新教") | domainEnglishFormat.kif 47900-47900 | |
| (termFormat EnglishLanguage Protestantism "protestantism") | domainEnglishFormat.kif 47899-47899 |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism)) |
People.kif 1261-1263 | Protestant is an attribute of an object if and only if the object is a member of protestantism |
|
|
|