| 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 1351-1352 | |
| (subclass Ringing RadiatingSound) | Music.kif 1350-1350 | Ringing is a subclass of radiating sound |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Ringing "铃声") | domainEnglishFormat.kif 50046-50046 | |
| (termFormat ChineseTraditionalLanguage Ringing "鈴聲") | domainEnglishFormat.kif 50045-50045 | |
| (termFormat EnglishLanguage Ringing "ringing") | domainEnglishFormat.kif 50044-50044 |
| antecedent |
|
|
| (=> (instance ?R Ringing) (exists (?B) (and (instance ?B Bell) (instrument ?R ?B)))) |
Music.kif 1354-1359 |
|
|
|
|