Ringing
|
|
appearance as argument number 1 |
(documentation Ringing EnglishLanguage "Any instance of RadiatingSound which is produced by a Bell.") | Music.kif 1349-1350 | |
(subclass Ringing RadiatingSound) | Music.kif 1348-1348 | 子類 鈴聲 and RadiatingSound |
appearance as argument number 2 |
(termFormat ChineseLanguage Ringing "铃声") | domainEnglishFormat.kif 50044-50044 | |
(termFormat ChineseTraditionalLanguage Ringing "鈴聲") | domainEnglishFormat.kif 50043-50043 | |
(termFormat EnglishLanguage Ringing "ringing") | domainEnglishFormat.kif 50042-50042 |
antecedent |
(=> (instance ?R Ringing) (exists (?B) (and (instance ?B Bell) (instrument ?R ?B)))) |
Music.kif 1352-1357 |