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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Christian
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 "http://www.adampease.org/Articulate/SUMOpictures/ 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 EnglishLanguage Christian "christian") domainEnglishFormat.kif 2875-2875

antecedent
-------------------------


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

consequent
-------------------------


(=>
    (musicGenre ?MR ChristianMusic)
    (exists (?X)
        (and
            (attribute ?X Christian)
            (refers ?MR ?X))))
Music.kif 649-654


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners