Christian - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(instance Mormon Christian)	People.kif 1220-1220	Mormon is an instance of christian
(instance Adventist Christian)	People.kif 1223-1223	Adventist is an instance of christian
(instance Episcopalian Christian)	People.kif 1226-1226	Episcopalian is an instance of christian
(instance Baptist Christian)	People.kif 1229-1229	Baptist is an instance of christian
(instance Pentecostal Christian)	People.kif 1232-1232	Pentecostal is an instance of christian
(instance Lutheran Christian)	People.kif 1235-1235	Lutheran is an instance of christian
(instance Methodist Christian)	People.kif 1238-1238	Methodist is an instance of christian
(instance Presbyterian Christian)	People.kif 1241-1241	Presbyterian is an instance of christian
(instance Anglican Christian)	People.kif 1256-1256	Anglican is an instance of christian
(instance EasternOrthodoxChristian Christian)	People.kif 1278-1278	Eastern orthodox christian is an instance of christian
(instance Protestant Christian)	People.kif 1292-1292	Protestant is an instance of christian
(instance RomanCatholic Christian)	People.kif 1306-1306	Roman catholic is an instance of christian
(termFormat EnglishLanguage Christian "christian")	domainEnglishFormat.kif 14712-14712	Roman catholic is an instance of christian
(termFormat ChineseTraditionalLanguage Christian "基督教")	domainEnglishFormat.kif 14713-14713	Roman catholic is an instance of christian
(termFormat ChineseLanguage Christian "基督教")	domainEnglishFormat.kif 14714-14714	Roman catholic is an instance of christian

antecedent

(=> (and (instance ?T1 ChristianHoliday) (holdsDuring ?T1 (attribute ?A Christian))) (observesHoliday ?A ?T1))	Media.kif 263-268	If X is an instance of Christian holiday and christian is an attribute of Y holds during X, then Y observes X
(=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H ChristmasDay)) (observesHoliday ?A ?H))	Media.kif 400-405	If christian is an attribute of X holds during Y and Y is an instance of Christmas day, then X observes Y
(=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H EasterSunday)) (observesHoliday ?A ?H))	Media.kif 503-508	If christian is an attribute of X holds during Y and Y is an instance of Easter sunday, then X observes Y
(=> (and (attribute ?INDIVIDUAL ?CH) (instance ?CH Christian)) (member ?INDIVIDUAL Christianity))	People.kif 829-833	If X is an attribute of Y and X is an instance of christian, then Y is a member of christianity

consequent

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

If christian music is in the genre X, then there exists Y such that christian is an attribute of Y and X includes a reference to Y