Theology - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Theology FieldOfStudy)	Mid-level-ontology.kif 23519-23519	Theology is a subclass of field of study
(documentation Theology EnglishLanguage "The systematic study of religion.")	Mid-level-ontology.kif 23520-23520	Theology is a subclass of field of study
(externalImage Theology "http://upload.wikimedia.org/wikipedia/commons/9/ 9d/ Averroes.jpg")	pictureList.kif 6920-6920	Theology is a subclass of field of study
(externalImage Theology "http://upload.wikimedia.org/wikipedia/commons/d/ d0/ AlbertusMagnus.jpg")	pictureList.kif 8080-8080	Theology is a subclass of field of study

appearance as argument number 2

(termFormat EnglishLanguage Theology "theology")	domainEnglishFormat.kif 57853-57853
(termFormat ChineseTraditionalLanguage Theology "神學")	domainEnglishFormat.kif 57854-57854
(termFormat ChineseLanguage Theology "神学")	domainEnglishFormat.kif 57855-57855

antecedent

(=>
    (instance ?X Theology)
    (exists (?Y)
        (and
            (instance ?Y ReligiousProcess)
            (refers ?X ?Y))))

If X is an instance of theology, then there exists Y such that Y is an instance of religious process and X includes a reference to Y

consequent

(=>
(attribute ?PERSON Theologian)
(hasExpertise ?PERSON Theology))

If theologian is an attribute of X, then theology has an expertise in X