| Christian
| |
| appearance as argument number 1 |
|
|
| (documentation Christian EnglishLanguage "A Christian is one who subscribes to the beliefs of Christianity.") | People.kif 802-803 | |
| (externalImage Christian "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ flags/ miscellany/ christian.png") | pictureList.kif 341-341 | |
| (subclass Christian ReligiousAttribute) | People.kif 801-801 |
| appearance as argument number 2 |
|
|
| (instance Adventist Christian) | People.kif 1198-1198 | |
| (instance Anglican Christian) | People.kif 1231-1231 | |
| (instance Baptist Christian) | People.kif 1204-1204 | |
| (instance EasternOrthodoxChristian Christian) | People.kif 1253-1253 | |
| (instance Episcopalian Christian) | People.kif 1201-1201 | |
| (instance Lutheran Christian) | People.kif 1210-1210 | |
| (instance Methodist Christian) | People.kif 1213-1213 | |
| (instance Mormon Christian) | People.kif 1195-1195 | |
| (instance Pentecostal Christian) | People.kif 1207-1207 | |
| (instance Presbyterian Christian) | People.kif 1216-1216 | |
| (instance Protestant Christian) | People.kif 1267-1267 | |
| (instance RomanCatholic Christian) | People.kif 1281-1281 | |
| (termFormat ChineseLanguage Christian "基督教") | domainEnglishFormat.kif 14715-14715 | |
| (termFormat ChineseTraditionalLanguage Christian "基督教") | domainEnglishFormat.kif 14714-14714 | |
| (termFormat EnglishLanguage Christian "christian") | domainEnglishFormat.kif 14713-14713 |
| antecedent |
|
|
| (=> (and (attribute ?INDIVIDUAL ?CH) (instance ?CH Christian)) (member ?INDIVIDUAL Christianity)) |
People.kif 805-809 | |
| (=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H ChristmasDay)) (observesHoliday ?A ?H)) |
Media.kif 406-411 | |
| (=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H EasterSunday)) (observesHoliday ?A ?H)) |
Media.kif 509-514 | |
| (=> (and (instance ?T1 ChristianHoliday) (holdsDuring ?T1 (attribute ?A Christian))) (observesHoliday ?A ?T1)) |
Media.kif 269-274 |
| consequent |
|
|
| (=> (musicGenre ?MR ChristianMusic) (exists (?X) (and (attribute ?X Christian) (refers ?MR ?X)))) |
Music.kif 644-649 |
|
|
|