Sermon - Sigma Knowledge base Browser

appearance as argument number 1

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

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))))

If X is an instance of sermon, then there exists Y such that Y is an instance of religious service and X is a subprocess of Y