| Bell(bell)
| | Liberty_Bell, bell, cascabel, church_bell, cowbell, death_bell, death_knell, dinner_bell, fire_bell, school_bell, sheep_bell, shop_bell, sleigh_bell, telephone_bell, tocsin, warning_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 | Bell is a subclass of percussion instrument |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bell "钟") | domainEnglishFormat.kif 10711-10711 | |
| (termFormat ChineseTraditionalLanguage Bell "鐘") | domainEnglishFormat.kif 10710-10710 | |
| (termFormat EnglishLanguage Bell "bell") | domainEnglishFormat.kif 10709-10709 |
| 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 |
|
|
|
|