Sermon - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Sermon Lecture)	Mid-level-ontology.kif 17480-17480
(documentation Sermon EnglishLanguage "A Lecture that is part of a ReligiousService.")	Mid-level-ontology.kif 17481-17481

appearance as argument number 2

(termFormat EnglishLanguage Sermon "sermon")	domainEnglishFormat.kif 52192-52192
(termFormat ChineseTraditionalLanguage Sermon "講道")	domainEnglishFormat.kif 52193-52193
(termFormat ChineseLanguage Sermon "讲道")	domainEnglishFormat.kif 52194-52194

antecedent

(=>
    (instance ?SERMON Sermon)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE ReligiousService)
            (subProcess ?SERMON ?SERVICE))))