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

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


(subCollection Anglicanism Christianity) People.kif 1219-1219 AnglicanismChristianity 的 真正的子集
(subCollection EasternOrthodoxChristianity Christianity) People.kif 1241-1241 EasternOrthodoxChristianityChristianity 的 真正的子集
(subCollection Protestantism Christianity) People.kif 1255-1255 ProtestantismChristianity 的 真正的子集
(subCollection RomanCatholicism Christianity) People.kif 1269-1269 RomanCatholicismChristianity 的 真正的子集
(termFormat EnglishLanguage Christianity "christianity") domainEnglishFormat.kif 2878-2878 termFormat EnglishLanguage, Christianity and "christianity"

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


(<=>
    (and
        (attribute ?INDIVIDUAL ?CH)
        (instance ?CH Christian))
    (member ?INDIVIDUAL Christianity))
People.kif 797-801 实体 客体attribute那个 实体Christianinstance 若且唯若 那个 客体Christianitymember
(=>
    (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