Christian - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Christian EnglishLanguage "A Christian is one who subscribes to the beliefs of Christianity.")	People.kif 792-793
(externalImage Christian "http://articulatesoftware.com/SUMOpictures/flags/ miscellany/ christian.png")	pictureList.kif 341-341
(subclass Christian ReligiousAttribute)	People.kif 791-791	Christian is a subclass of religious attribute

appearance as argument number 2

(instance Adventist Christian)	People.kif 1189-1189	Adventist is an instance of christian
(instance Anglican Christian)	People.kif 1222-1222	Anglican is an instance of christian
(instance Baptist Christian)	People.kif 1195-1195	Baptist is an instance of christian
(instance EasternOrthodoxChristian Christian)	People.kif 1244-1244	Eastern orthodox christian is an instance of christian
(instance Episcopalian Christian)	People.kif 1192-1192	Episcopalian is an instance of christian
(instance Lutheran Christian)	People.kif 1201-1201	Lutheran is an instance of christian
(instance Methodist Christian)	People.kif 1204-1204	Methodist is an instance of christian
(instance Mormon Christian)	People.kif 1186-1186	Mormon is an instance of christian
(instance Pentecostal Christian)	People.kif 1198-1198	Pentecostal is an instance of christian
(instance Presbyterian Christian)	People.kif 1207-1207	Presbyterian is an instance of christian
(instance Protestant Christian)	People.kif 1258-1258	Protestant is an instance of christian
(instance RomanCatholic Christian)	People.kif 1272-1272	Roman catholic is an instance of christian
(termFormat ChineseLanguage Christian "基督教")	domainEnglishFormat.kif 14727-14727	Roman catholic is an instance of christian
(termFormat ChineseTraditionalLanguage Christian "基督教")	domainEnglishFormat.kif 14726-14726	Roman catholic is an instance of christian
(termFormat EnglishLanguage Christian "christian")	domainEnglishFormat.kif 14725-14725	Roman catholic is an instance of christian

antecedent

(=> (and (attribute ?INDIVIDUAL ?CH) (instance ?CH Christian)) (member ?INDIVIDUAL Christianity))	People.kif 795-799	If an attribute is an attribute of an object and the attribute is an instance of christian, then the object is a member of christianity
(=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H ChristmasDay)) (observesHoliday ?A ?H))	Media.kif 406-411	If christian is an attribute of a cognitive agent holds during a holiday and the holiday is an instance of Christmas day, then the cognitive agent observes the holiday
(=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H EasterSunday)) (observesHoliday ?A ?H))	Media.kif 509-514	If christian is an attribute of a cognitive agent holds during a holiday and the holiday is an instance of Easter sunday, then the cognitive agent observes the holiday
(=> (and (instance ?T1 ChristianHoliday) (holdsDuring ?T1 (attribute ?A Christian))) (observesHoliday ?A ?T1))	Media.kif 269-274	If a holiday is an instance of Christian holiday and christian is an attribute of a cognitive agent holds during the holiday, then the cognitive agent observes the holiday

consequent

(=>
    (musicGenre ?MR ChristianMusic)
    (exists (?X)
        (and
            (attribute ?X Christian)
            (refers ?MR ?X))))

Music.kif 649-654