Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Christian

appearance as argument number 1

(documentation Christian EnglishLanguage "A Christian is one who subscribes to the beliefs of Christianity.") People.kif 794-795
(externalImage Christian " pictures/ flags/ miscellany/ christian.png") pictureList.kif 341-341
(subclass Christian ReligiousAttribute) People.kif 793-793

appearance as argument number 2

(instance Adventist Christian) People.kif 1190-1190
(instance Anglican Christian) People.kif 1223-1223
(instance Baptist Christian) People.kif 1196-1196
(instance EasternOrthodoxChristian Christian) People.kif 1245-1245
(instance Episcopalian Christian) People.kif 1193-1193
(instance Lutheran Christian) People.kif 1202-1202
(instance Methodist Christian) People.kif 1205-1205
(instance Mormon Christian) People.kif 1187-1187
(instance Pentecostal Christian) People.kif 1199-1199
(instance Presbyterian Christian) People.kif 1208-1208
(instance Protestant Christian) People.kif 1259-1259
(instance RomanCatholic Christian) People.kif 1273-1273
(termFormat ChineseLanguage Christian "基督教") domainEnglishFormat.kif 14722-14722
(termFormat ChineseTraditionalLanguage Christian "基督教") domainEnglishFormat.kif 14721-14721
(termFormat EnglishLanguage Christian "christian") domainEnglishFormat.kif 14720-14720


        (attribute ?INDIVIDUAL ?CH)
        (instance ?CH Christian))
    (member ?INDIVIDUAL Christianity))
People.kif 797-801
        (holdsDuring ?H
            (attribute ?A Christian))
        (instance ?H ChristmasDay))
    (observesHoliday ?A ?H))
Media.kif 406-411
        (holdsDuring ?H
            (attribute ?A Christian))
        (instance ?H EasterSunday))
    (observesHoliday ?A ?H))
Media.kif 509-514
        (instance ?T1 ChristianHoliday)
        (holdsDuring ?T1
            (attribute ?A Christian)))
    (observesHoliday ?A ?T1))
Media.kif 269-274


    (musicGenre ?MR ChristianMusic)
    (exists (?X)
            (attribute ?X Christian)
            (refers ?MR ?X))))
Music.kif 643-648

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners