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 ChineseLanguage Christianity "基督教") domainEnglishFormat.kif 14674-14674
(termFormat ChineseTraditionalLanguage Christianity "基督教") domainEnglishFormat.kif 14673-14673
(termFormat EnglishLanguage Christianity "christianity") domainEnglishFormat.kif 14672-14672

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 3.0 is open source software produced by Articulate Software and its partners