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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Christian
Christian(christian)
Anglican_Catholic, Arminian, Catholic, Christian, Copt, Mennonite, Old_Catholic, Trinitarian, Uniat, Uniate, Uniate_Christian, christian, dominical, gentile, goy, non-Jew, tritheist, unilateralist, 基督教

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 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ flags/ miscellany/ christian.png" is a URL depicting christian
(subclass Christian ReligiousAttribute) People.kif 793-793 Christian is a subclass of religious attribute

appearance as argument number 2
-------------------------


(instance Adventist Christian) People.kif 1190-1190 Adventist is an instance of christian
(instance Anglican Christian) People.kif 1223-1223 Anglican is an instance of christian
(instance Baptist Christian) People.kif 1196-1196 Baptist is an instance of christian
(instance EasternOrthodoxChristian Christian) People.kif 1245-1245 Eastern orthodox christian is an instance of christian
(instance Episcopalian Christian) People.kif 1193-1193 Episcopalian is an instance of christian
(instance Lutheran Christian) People.kif 1202-1202 Lutheran is an instance of christian
(instance Methodist Christian) People.kif 1205-1205 Methodist is an instance of christian
(instance Mormon Christian) People.kif 1187-1187 Mormon is an instance of christian
(instance Pentecostal Christian) People.kif 1199-1199 Pentecostal is an instance of christian
(instance Presbyterian Christian) People.kif 1208-1208 Presbyterian is an instance of christian
(instance Protestant Christian) People.kif 1259-1259 Protestant is an instance of christian
(instance RomanCatholic Christian) People.kif 1273-1273 Roman catholic is an instance of christian
(termFormat ChineseLanguage Christian "基督教") domainEnglishFormat.kif 14653-14653 "基督教" is the printable form of christian in ChineseLanguage
(termFormat ChineseTraditionalLanguage Christian "基督教") domainEnglishFormat.kif 14652-14652 "基督教" is the printable form of christian in ChineseTraditionalLanguage
(termFormat EnglishLanguage Christian "christian") domainEnglishFormat.kif 14651-14651 "christian" is the printable form of christian in english language

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


(<=>
    (and
        (attribute ?INDIVIDUAL ?CH)
        (instance ?CH Christian))
    (member ?INDIVIDUAL Christianity))
People.kif 797-801 An entity is an attribute of an object and the entity is an instance of christian if and only if the object is a member of christianity
(=>
    (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