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 5913-5913
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ Ignatius.jpg")	pictureList.kif 6265-6265
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Nicaea_icon.jpg")	pictureList.kif 6266-6266
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Fractio-panis1.JPG")	pictureList.kif 6267-6267
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ Bloch-SermonOnTheMount.jpg")	pictureList.kif 6268-6268
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ CouncilofClermont.jpg")	pictureList.kif 6269-6269
(externalImage Christianity "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Christianity_percentage_by_country.png")	pictureList.kif 6272-6272
(instance Christianity BeliefGroup)	People.kif 774-774	Christianity ist ein fall von BeliefGroup %n{nicht}

appearance as argument number 2

(subCollection Anglicanism Christianity)	People.kif 1217-1217	Anglicanism ist eine korrekte teilsammlung von Christianity %n{nicht}
(subCollection EasternOrthodoxChristianity Christianity)	People.kif 1239-1239	EasternOrthodoxChristianity ist eine korrekte teilsammlung von Christianity %n{nicht}
(subCollection Protestantism Christianity)	People.kif 1253-1253	Protestantism ist eine korrekte teilsammlung von Christianity %n{nicht}
(subCollection RomanCatholicism Christianity)	People.kif 1267-1267	RomanCatholicism ist eine korrekte teilsammlung von Christianity %n{nicht}
(termFormat ChineseLanguage Christianity "基督教")	domainEnglishFormat.kif 14730-14730
(termFormat ChineseTraditionalLanguage Christianity "基督教")	domainEnglishFormat.kif 14729-14729
(termFormat EnglishLanguage Christianity "christianity")	domainEnglishFormat.kif 14728-14728

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 156-169

Wenn Process ist ein fall von Ordaining %n{nicht} und Physical ist ein patient von ** Process %n{nicht} und ** Physical ist ein fall von Human %n{nicht} und ** Physical ist ein Mitglied von Christianity %n{nicht},
dann ** Process hat Zweck von es gibt entity und ** entity um ** entity ist ein fall von Ceremony %n{nicht} und ** ** entity ist ein fall von Appointing %n{nicht} und ** ** entity ist ein subProzess von ** entity und ** Physical ist ein patient von ** ** entity %n{nicht} und appointedPosition ** ** entity, ** Physical and Cleric %n{nicht}

consequent

(=> (and (attribute ?INDIVIDUAL ?CH) (instance ?CH Christian)) (member ?INDIVIDUAL Christianity))	People.kif 795-799	Wenn Attribute ist ein attribut von Object %n{nicht} und Attribute ist ein fall von Christian %n{nicht}, dann Object ist ein Mitglied von Christianity %n{nicht}
(=> (and (instance ?SERVICE ChristianService) (agent ?SERVICE ?PERSON) (instance ?PERSON Human)) (member ?PERSON Christianity))	People.kif 783-788	Wenn Process ist ein fall von ChristianService %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von Human %n{nicht}, dann ** AutonomousAgent ist ein Mitglied von Christianity %n{nicht}