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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Christian

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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners