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 ReligiousAttribute

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	EasternOrthodoxChristian 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	RomanCatholic is an instance of Christian
(termFormat ChineseLanguage Christian "基督教")	domainEnglishFormat.kif 14720-14720	RomanCatholic is an instance of Christian
(termFormat ChineseTraditionalLanguage Christian "基督教")	domainEnglishFormat.kif 14719-14719	RomanCatholic is an instance of Christian
(termFormat EnglishLanguage Christian "christian")	domainEnglishFormat.kif 14718-14718	RomanCatholic 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 ChristmasDay, then observesHoliday the cognitive agent and 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 EasterSunday, then observesHoliday the cognitive agent and 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 ChristianHoliday and Christian is an attribute of a cognitive agent holds during the Holiday, then observesHoliday the cognitive agent and the Holiday

consequent

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

Music.kif 649-654