| Ringing(ringing) | | bell_ringing, ring, ringing, tintinnabulation |
| 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 | Ringing is a subclass of radiating sound |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Ringing "铃声") | domainEnglishFormat.kif 50082-50082 | |
| (termFormat ChineseTraditionalLanguage Ringing "鈴聲") | domainEnglishFormat.kif 50081-50081 | |
| (termFormat EnglishLanguage Ringing "ringing") | domainEnglishFormat.kif 50080-50080 |
| antecedent |
|
|
| (=> (instance ?R Ringing) (exists (?B) (and (instance ?B Bell) (instrument ?R ?B)))) |
Music.kif 1352-1357 |
|
|
|
|