Christianity - Sigma Knowledge base Browser

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	例基督教 and 信仰團體

appearance as argument number 2

(subCollection Anglicanism Christianity)	People.kif 1218-1218	子集合英國國教 and 基督教
(subCollection EasternOrthodoxChristianity Christianity)	People.kif 1240-1240	子集合東正教基督教 and 基督教
(subCollection Protestantism Christianity)	People.kif 1254-1254	子集合新教 and 基督教
(subCollection RomanCatholicism Christianity)	People.kif 1268-1268	子集合羅馬天主教 and 基督教
(termFormat ChineseLanguage Christianity "基督教")	domainEnglishFormat.kif 14745-14745	子集合羅馬天主教 and 基督教
(termFormat ChineseTraditionalLanguage Christianity "基督教")	domainEnglishFormat.kif 14744-14744	子集合羅馬天主教 and 基督教
(termFormat EnglishLanguage Christianity "christianity")	domainEnglishFormat.kif 14743-14743	子集合羅馬天主教 and 基督教

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	attribute Object and Attribute 例 Attribute and 基督教會員 Object and 基督教
(=> (and (instance ?SERVICE ChristianService) (agent ?SERVICE ?PERSON) (instance ?PERSON Human)) (member ?PERSON Christianity))	People.kif 783-788	例 Process and 基督徒服務 agent Process and AutonomousAgent 例 AutonomousAgent and Human 會員 AutonomousAgent and 基督教