| Bell
| |
| appearance as argument number 1 |
|
|
| (documentation Bell EnglishLanguage "A PercussionInstrument that produces a single tone when it is struck.") | Music.kif 1240-1242 | |
| (externalImage Bell "http://articulatesoftware.com/SUMOpictures/holiday/ Christmas/ green/ bell18.png") | pictureList.kif 272-272 | |
| (externalImage Bell "http://upload.wikimedia.org/wikipedia/commons/e/e2/ Dzwon_z_Jasnej_G%C3%B3ry.jpg") | pictureList.kif 39-39 | |
| (subclass Bell PercussionInstrument) | Music.kif 1239-1239 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bell "钟") | domainEnglishFormat.kif 10706-10706 | |
| (termFormat ChineseTraditionalLanguage Bell "鐘") | domainEnglishFormat.kif 10705-10705 | |
| (termFormat EnglishLanguage Bell "bell") | domainEnglishFormat.kif 10704-10704 |
| antecedent |
|
|
| (=> (and (instance ?B Bell) (instance ?I Impacting) (destination ?I ?B)) (exists (?MT) (and (instance ?MT MusicalTone) (causes ?I ?MT)))) |
Music.kif 1256-1264 |
| consequent |
|
|
| (=> (instance ?R Ringing) (exists (?B) (and (instance ?B Bell) (instrument ?R ?B)))) |
Music.kif 1352-1357 |
|
|
|