Sermon(讲道) |
appearance as argument number 1 |
(documentation Sermon EnglishLanguage "A Lecture that is part of a ReligiousService.") | Mid-level-ontology.kif 15940-15940 | |
(subclass Sermon Lecture) | Mid-level-ontology.kif 15939-15939 | 讲道 是 演讲 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage Sermon "讲道") | domainEnglishFormat.kif 52197-52197 | |
(termFormat ChineseTraditionalLanguage Sermon "講道") | domainEnglishFormat.kif 52196-52196 | |
(termFormat EnglishLanguage Sermon "sermon") | domainEnglishFormat.kif 52195-52195 |
antecedent |
(=> (instance ?SERMON Sermon) (exists (?SERVICE) (and (instance ?SERVICE ReligiousService) (subProcess ?SERMON ?SERVICE)))) |
Mid-level-ontology.kif 15942-15947 |