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 775-777
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Andrej_Rubl%C3%ABv_001.jpg") pictureList.kif 5912-5912
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ Ignatius.jpg") pictureList.kif 6264-6264
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Nicaea_icon.jpg") pictureList.kif 6265-6265
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Fractio_panis1.JPG") pictureList.kif 6266-6266
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Bloch_SermonOnTheMount.jpg") pictureList.kif 6267-6267
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CouncilofClermont.jpg") pictureList.kif 6268-6268
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Christianity_percentage_by_country.png") pictureList.kif 6271-6271
(instance Christianity BeliefGroup) People.kif 774-774 基督教信仰团体instance

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


(subCollection Anglicanism Christianity) People.kif 1218-1218 英国国教基督教 的 真正的子集
(subCollection EasternOrthodoxChristianity Christianity) People.kif 1240-1240 东正教基督教基督教 的 真正的子集
(subCollection Protestantism Christianity) People.kif 1254-1254 新教基督教 的 真正的子集
(subCollection RomanCatholicism Christianity) People.kif 1268-1268 罗马天主教基督教 的 真正的子集
(termFormat ChineseLanguage Christianity "基督教") domainEnglishFormat.kif 14739-14739 罗马天主教基督教 的 真正的子集
(termFormat ChineseTraditionalLanguage Christianity "基督教") domainEnglishFormat.kif 14738-14738 罗马天主教基督教 的 真正的子集
(termFormat EnglishLanguage Christianity "christianity") domainEnglishFormat.kif 14737-14737 罗马天主教基督教 的 真正的子集

antecedent
-------------------------


(=>
    (and
        (instance ?ORD Ordaining)
        (patient ?ORD ?X)
        (instance ?X Human)
        (member ?X Christianity))
    (hasPurpose ?ORD
        (exists (?CER ?A)
            (and
                (instance ?CER Ceremony)
                (instance ?A Appointing)
                (subProcess ?A ?CER)
                (patient ?A ?X)
                (appointedPosition ?A ?X Cleric)))))
Biography.kif 161-174

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


(=>
    (and
        (attribute ?INDIVIDUAL ?CH)
        (instance ?CH Christian))
    (member ?INDIVIDUAL Christianity))
People.kif 795-799
(=>
    (and
        (instance ?SERVICE ChristianService)
        (agent ?SERVICE ?PERSON)
        (instance ?PERSON Human))
    (member ?PERSON Christianity))
People.kif 783-788


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