Sermon - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage Sermon "讲道")	domainEnglishFormat.kif 52191-52191
(termFormat ChineseTraditionalLanguage Sermon "講道")	domainEnglishFormat.kif 52190-52190
(termFormat EnglishLanguage Sermon "sermon")	domainEnglishFormat.kif 52189-52189

antecedent

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

Mid-level-ontology.kif 13625-13630