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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 " 1/ 17/ Andrej_Rubl%C3%ABv_001.jpg") pictureList.kif 5914-5914 externalImage Christianity and " Andrej_Rubl%C3%ABv_001.jpg"
(externalImage Christianity " 2/ 27/ Ignatius.jpg") pictureList.kif 6266-6266 externalImage Christianity and " Ignatius.jpg"
(externalImage Christianity " 3/ 31/ Nicaea_icon.jpg") pictureList.kif 6267-6267 externalImage Christianity and " Nicaea_icon.jpg"
(externalImage Christianity " 6/ 6c/ Fractio-panis1.JPG") pictureList.kif 6268-6268 externalImage Christianity and " Fractio-panis1.JPG"
(externalImage Christianity " 9/ 96/ Bloch-SermonOnTheMount.jpg") pictureList.kif 6269-6269 externalImage Christianity and " Bloch-SermonOnTheMount.jpg"
(externalImage Christianity " d/ d5/ CouncilofClermont.jpg") pictureList.kif 6270-6270 externalImage Christianity and " CouncilofClermont.jpg"
(externalImage Christianity " e/ e8/ Christianity_percentage_by_country.png") pictureList.kif 6273-6273 externalImage Christianity and " 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"


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