| 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 1341-1342 | |
| (subclass Ringing RadiatingSound) | Music.kif 1340-1340 | Ringing is a subclass of radiating sound |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Ringing "铃声") | domainEnglishFormat.kif 49961-49961 | |
| (termFormat ChineseTraditionalLanguage Ringing "鈴聲") | domainEnglishFormat.kif 49960-49960 | |
| (termFormat EnglishLanguage Ringing "ringing") | domainEnglishFormat.kif 49959-49959 |
| antecedent |
|
|
| (=> (instance ?R Ringing) (exists (?B) (and (instance ?B Bell) (instrument ?R ?B)))) |
Music.kif 1344-1349 |
|
|
|
|