Christian![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Christian EnglishLanguage "A Christian is one who subscribes to the beliefs of Christianity.") | People.kif 794-795 | |
(externalImage Christian "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ flags/ miscellany/ christian.png") | pictureList.kif 341-341 | |
(subclass Christian ReligiousAttribute) | People.kif 793-793 |
appearance as argument number 2 |
![]() |
(instance Adventist Christian) | People.kif 1190-1190 | |
(instance Anglican Christian) | People.kif 1223-1223 | |
(instance Baptist Christian) | People.kif 1196-1196 | |
(instance EasternOrthodoxChristian Christian) | People.kif 1245-1245 | |
(instance Episcopalian Christian) | People.kif 1193-1193 | |
(instance Lutheran Christian) | People.kif 1202-1202 | |
(instance Methodist Christian) | People.kif 1205-1205 | |
(instance Mormon Christian) | People.kif 1187-1187 | |
(instance Pentecostal Christian) | People.kif 1199-1199 | |
(instance Presbyterian Christian) | People.kif 1208-1208 | |
(instance Protestant Christian) | People.kif 1259-1259 | |
(instance RomanCatholic Christian) | People.kif 1273-1273 | |
(termFormat ChineseLanguage Christian "基督教") | domainEnglishFormat.kif 14656-14656 | |
(termFormat ChineseTraditionalLanguage Christian "基督教") | domainEnglishFormat.kif 14655-14655 | |
(termFormat EnglishLanguage Christian "christian") | domainEnglishFormat.kif 14654-14654 |
antecedent |
![]() |
(<=> (and (attribute ?INDIVIDUAL ?CH) (instance ?CH Christian)) (member ?INDIVIDUAL Christianity)) |
People.kif 797-801 | |
(=> (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 643-648 |
![]() |
![]() |