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 1342-1343 | |
(subclass Ringing RadiatingSound) | Music.kif 1341-1341 | Ringing is a subclass of radiating sound |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Ringing "铃声") | domainEnglishFormat.kif 50025-50025 | |
(termFormat ChineseTraditionalLanguage Ringing "鈴聲") | domainEnglishFormat.kif 50024-50024 | |
(termFormat EnglishLanguage Ringing "ringing") | domainEnglishFormat.kif 50023-50023 |
antecedent |
![]() |
(=> (instance ?R Ringing) (exists (?B) (and (instance ?B Bell) (instrument ?R ?B)))) |
Music.kif 1345-1350 |
|
![]() |
![]() |