TreeView 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 は ReligiousAttribute の subclass では %n

appearance as argument number 2

(instance Adventist Christian)	People.kif 1188-1188	Adventist は Christian の instance では %n
(instance Anglican Christian)	People.kif 1221-1221	Anglican は Christian の instance では %n
(instance Baptist Christian)	People.kif 1194-1194	Baptist は Christian の instance では %n
(instance EasternOrthodoxChristian Christian)	People.kif 1243-1243	EasternOrthodoxChristian は Christian の instance では %n
(instance Episcopalian Christian)	People.kif 1191-1191	Episcopalian は Christian の instance では %n
(instance Lutheran Christian)	People.kif 1200-1200	Lutheran は Christian の instance では %n
(instance Methodist Christian)	People.kif 1203-1203	Methodist は Christian の instance では %n
(instance Mormon Christian)	People.kif 1185-1185	Mormon は Christian の instance では %n
(instance Pentecostal Christian)	People.kif 1197-1197	Pentecostal は Christian の instance では %n
(instance Presbyterian Christian)	People.kif 1206-1206	Presbyterian は Christian の instance では %n
(instance Protestant Christian)	People.kif 1257-1257	Protestant は Christian の instance では %n
(instance RomanCatholic Christian)	People.kif 1271-1271	RomanCatholic は Christian の instance では %n
(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	属性はオブジェクトの attribute では %n 属性は Christian の instance では %n オブジェクトは Christianity の member では %n
(=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H ChristmasDay)) (observesHoliday ?A ?H))	Media.kif 406-411	Christian は認識エージェントの attribute では %n は Holiday の during holds %n{ない} Holiday は ChristmasDay の instance では %n observesHoliday 認識エージェント and Holiday
(=> (and (holdsDuring ?H (attribute ?A Christian)) (instance ?H EasterSunday)) (observesHoliday ?A ?H))	Media.kif 509-514	Christian は認識エージェントの attribute では %n は Holiday の during holds %n{ない} Holiday は EasterSunday の instance では %n observesHoliday 認識エージェント and Holiday
(=> (and (instance ?T1 ChristianHoliday) (holdsDuring ?T1 (attribute ?A Christian))) (observesHoliday ?A ?T1))	Media.kif 269-274	Holiday は ChristianHoliday の instance では %n Christian は認識エージェントの attribute では %n は Holiday の during holds %n{ない} observesHoliday 認識エージェント and Holiday

consequent

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

Music.kif 647-652