| Sermon(sermon) | | discourse, preaching, sermon |
| appearance as argument number 1 |
|
|
| (documentation Sermon EnglishLanguage "A Lecture that is part of a ReligiousService.") | Mid-level-ontology.kif 16158-16158 | |
| (subclass Sermon Lecture) | Mid-level-ontology.kif 16157-16157 | Sermon is a subclass of lecture |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Sermon "讲道") | domainEnglishFormat.kif 52237-52237 | |
| (termFormat ChineseTraditionalLanguage Sermon "講道") | domainEnglishFormat.kif 52236-52236 | |
| (termFormat EnglishLanguage Sermon "sermon") | domainEnglishFormat.kif 52235-52235 |
| antecedent |
|
|
| (=> (instance ?SERMON Sermon) (exists (?SERVICE) (and (instance ?SERVICE ReligiousService) (subProcess ?SERMON ?SERVICE)))) |
Mid-level-ontology.kif 16160-16165 |
|
|
|
|