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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Christianity

Sigma KEE - Christianity
Christianity
more pictures...

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
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ Ignatius.jpg") pictureList.kif 6266-6266
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Nicaea_icon.jpg") pictureList.kif 6267-6267
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Fractio-panis1.JPG") pictureList.kif 6268-6268
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Bloch-SermonOnTheMount.jpg") pictureList.kif 6269-6269
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CouncilofClermont.jpg") pictureList.kif 6270-6270
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Christianity_percentage_by_country.png") pictureList.kif 6273-6273
(instance Christianity BeliefGroup) People.kif 776-776

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


(subCollection Anglicanism Christianity) People.kif 1219-1219
(subCollection EasternOrthodoxChristianity Christianity) People.kif 1241-1241
(subCollection Protestantism Christianity) People.kif 1255-1255
(subCollection RomanCatholicism Christianity) People.kif 1269-1269
(termFormat EnglishLanguage Christianity "christianity") domainEnglishFormat.kif 2878-2878

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


(<=>
    (and
        (attribute ?INDIVIDUAL ?CH)
        (instance ?CH Christian))
    (member ?INDIVIDUAL Christianity))
People.kif 797-801
(=>
    (and
        (instance ?SERVICE ChristianService)
        (agent ?SERVICE ?PERSON)
        (instance ?PERSON Human))
    (member ?PERSON Christianity))
People.kif 785-790


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