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 ist eine teilkategorie von ReligiousAttribute

appearance as argument number 2

(instance Adventist Christian)	People.kif 1188-1188	Adventist ist ein fall von Christian %n{nicht}
(instance Anglican Christian)	People.kif 1221-1221	Anglican ist ein fall von Christian %n{nicht}
(instance Baptist Christian)	People.kif 1194-1194	Baptist ist ein fall von Christian %n{nicht}
(instance EasternOrthodoxChristian Christian)	People.kif 1243-1243	EasternOrthodoxChristian ist ein fall von Christian %n{nicht}
(instance Episcopalian Christian)	People.kif 1191-1191	Episcopalian ist ein fall von Christian %n{nicht}
(instance Lutheran Christian)	People.kif 1200-1200	Lutheran ist ein fall von Christian %n{nicht}
(instance Methodist Christian)	People.kif 1203-1203	Methodist ist ein fall von Christian %n{nicht}
(instance Mormon Christian)	People.kif 1185-1185	Mormon ist ein fall von Christian %n{nicht}
(instance Pentecostal Christian)	People.kif 1197-1197	Pentecostal ist ein fall von Christian %n{nicht}
(instance Presbyterian Christian)	People.kif 1206-1206	Presbyterian ist ein fall von Christian %n{nicht}
(instance Protestant Christian)	People.kif 1257-1257	Protestant ist ein fall von Christian %n{nicht}
(instance RomanCatholic Christian)	People.kif 1271-1271	RomanCatholic ist ein fall von Christian %n{nicht}
(termFormat ChineseLanguage Christian "基督教")	domainEnglishFormat.kif 14712-14712
(termFormat ChineseTraditionalLanguage Christian "基督教")	domainEnglishFormat.kif 14711-14711
(termFormat EnglishLanguage Christian "christian")	domainEnglishFormat.kif 14710-14710

antecedent

(=> (and (attribute ?INDIVIDUAL ?CH) (instance ?CH Christian)) (member ?INDIVIDUAL Christianity))	People.kif 795-799	Wenn Attribute ist ein attribut von Object %n{nicht} und Attribute ist ein fall von Christian %n{nicht}, dann Object ist ein Mitglied von Christianity %n{nicht}
(=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H ChristmasDay)) (observesHoliday ?A ?H))	Media.kif 406-411	Wenn Christian ist ein attribut von CognitiveAgent %n{nicht} haelt waehrend Holiday %n{nicht} und Holiday ist ein fall von ChristmasDay %n{nicht}, dann observesHoliday CognitiveAgent and ** Holiday
(=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H EasterSunday)) (observesHoliday ?A ?H))	Media.kif 509-514	Wenn Christian ist ein attribut von CognitiveAgent %n{nicht} haelt waehrend Holiday %n{nicht} und Holiday ist ein fall von EasterSunday %n{nicht}, dann observesHoliday CognitiveAgent and ** Holiday
(=> (and (instance ?T1 ChristianHoliday) (holdsDuring ?T1 (attribute ?A Christian))) (observesHoliday ?A ?T1))	Media.kif 269-274	Wenn Holiday ist ein fall von ChristianHoliday %n{nicht} und Christian ist ein attribut von CognitiveAgent %n{nicht} haelt waehrend Holiday %n{nicht}, dann observesHoliday CognitiveAgent and ** Holiday

consequent

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

Music.kif 647-652