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	Christianity est une instance de BeliefGroup

appearance as argument number 2

(subCollection Anglicanism Christianity)	People.kif 1218-1218	Anglicanism est une sous-collection appartenant � Christianity
(subCollection EasternOrthodoxChristianity Christianity)	People.kif 1240-1240	EasternOrthodoxChristianity est une sous-collection appartenant � Christianity
(subCollection Protestantism Christianity)	People.kif 1254-1254	Protestantism est une sous-collection appartenant � Christianity
(subCollection RomanCatholicism Christianity)	People.kif 1268-1268	RomanCatholicism est une sous-collection appartenant � Christianity
(termFormat ChineseLanguage Christianity "基督教")	domainEnglishFormat.kif 14739-14739	RomanCatholicism est une sous-collection appartenant � Christianity
(termFormat ChineseTraditionalLanguage Christianity "基督教")	domainEnglishFormat.kif 14738-14738	RomanCatholicism est une sous-collection appartenant � Christianity
(termFormat EnglishLanguage Christianity "christianity")	domainEnglishFormat.kif 14737-14737	RomanCatholicism est une sous-collection appartenant � Christianity

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	Attribut est un attribut de objet attribut est une instance de Christian objet est un membre de Christianity
(=> (and (instance ?SERVICE ChristianService) (agent ?SERVICE ?PERSON) (instance ?PERSON Human)) (member ?PERSON Christianity))	People.kif 783-788	Processus est une instance de ChristianService processus est un agent de AutonomousAgent AutonomousAgent est une instance de humain AutonomousAgent est un membre de Christianity