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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Christian

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 EnglishLanguage Christian "christian") domainEnglishFormat.kif 2875-2875 "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 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