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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Christianity
Christianity(christianity)
more pictures...
Albigensianism, Anabaptism, Anglo-Catholicism, Apostelic_Father, Apostle, Armenian_Apostolic_Orthodox_Church, Armenian_Church, Baptistic_doctrine, Calvinism, Calvinist, Calvinistic, Calvinistical, Catharism, Christian, Christian_church, Christian_religion, Christianity, Donatism, High_Anglicanism, Lutheranism, Melchite, Melkite, Nazarene, Nestorian_Church, Presbyterianism, Protestantism, Puritanism, Shaker, Unification_Church, christianity, church, communion, denomination, parish, pentecostalism

appearance as argument number 1
-------------------------


(documentation Christianity EnglishLanguage "The religion derived from Jesus Christ, based on the Bible as sacred scripture, and professed by Eastern, Catholic, and Protestant bodies, among other subdivisions.") People.kif 777-779
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Andrej_Rubl%C3%ABv_001.jpg") pictureList.kif 5914-5914 "http://upload.wikimedia.org/wikipedia/commons/1/17/ Andrej_Rubl%C3%ABv_001.jpg" is a URL depicting christianity
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ Ignatius.jpg") pictureList.kif 6266-6266 "http://upload.wikimedia.org/wikipedia/commons/2/27/ Ignatius.jpg" is a URL depicting christianity
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Nicaea_icon.jpg") pictureList.kif 6267-6267 "http://upload.wikimedia.org/wikipedia/commons/3/31/ Nicaea_icon.jpg" is a URL depicting christianity
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Fractio-panis1.JPG") pictureList.kif 6268-6268 "http://upload.wikimedia.org/wikipedia/commons/6/6c/ Fractio-panis1.JPG" is a URL depicting christianity
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Bloch-SermonOnTheMount.jpg") pictureList.kif 6269-6269 "http://upload.wikimedia.org/wikipedia/commons/9/96/ Bloch-SermonOnTheMount.jpg" is a URL depicting christianity
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CouncilofClermont.jpg") pictureList.kif 6270-6270 "http://upload.wikimedia.org/wikipedia/commons/d/d5/ CouncilofClermont.jpg" is a URL depicting christianity
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Christianity_percentage_by_country.png") pictureList.kif 6273-6273 "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Christianity_percentage_by_country.png" is a URL depicting christianity
(instance Christianity BeliefGroup) People.kif 776-776 Christianity is an instance of belief group

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


(subCollection Anglicanism Christianity) People.kif 1219-1219 Anglicanism is a proper sub-collection of christianity
(subCollection EasternOrthodoxChristianity Christianity) People.kif 1241-1241 Eastern orthodox christianity is a proper sub-collection of christianity
(subCollection Protestantism Christianity) People.kif 1255-1255 Protestantism is a proper sub-collection of christianity
(subCollection RomanCatholicism Christianity) People.kif 1269-1269 Roman catholicism is a proper sub-collection of christianity
(termFormat EnglishLanguage Christianity "christianity") domainEnglishFormat.kif 2878-2878 "christianity" is the printable form of christianity in english language

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


(<=>
    (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
        (instance ?SERVICE ChristianService)
        (agent ?SERVICE ?PERSON)
        (instance ?PERSON Human))
    (member ?PERSON Christianity))
People.kif 785-790


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