|
|
   Bell
|
|
|
| appearance as argument number 1 |
|
|
| (defaultMaximumHeight Bell (MeasureFn 12 Inch)) |
DimensioningAmenities.kif 1011-1011 | |
| (defaultMaximumLength Bell (MeasureFn 20 Inch)) |
DimensioningAmenities.kif 1015-1015 | |
| (defaultMaximumMeasure Bell (MeasureFn 20 PoundMass)) |
DimensioningAmenities.kif 1017-1017 | |
| (defaultMaximumWidth Bell (MeasureFn 12 Inch)) |
DimensioningAmenities.kif 1013-1013 | |
| (defaultMinimumHeight Bell (MeasureFn 2 Inch)) |
DimensioningAmenities.kif 1010-1010 | |
| (defaultMinimumLength Bell (MeasureFn 6 Inch)) |
DimensioningAmenities.kif 1014-1014 | |
| (defaultMinimumMeasure Bell (MeasureFn 1 PoundMass)) |
DimensioningAmenities.kif 1016-1016 | |
| (defaultMinimumWidth Bell (MeasureFn 2 Inch)) |
DimensioningAmenities.kif 1012-1012 | |
| (documentation Bell EnglishLanguage "A PercussionInstrument that produces a single tone when it is struck.") | Music.kif 1254-1256 | |
| (externalImage Bell "http://upload.wikimedia.org/wikipedia/commons/e/e2/ Dzwon_z_Jasnej_G%C3%B3ry.jpg") | pictureList.kif 39-39 | |
| (externalImage Bell "http://www.adampease.org/Articulate/SUMOpictures/pictures/ holiday/ Christmas/ green/ bell18.png") | pictureList.kif 272-272 | |
| (subclass Bell PercussionInstrument) | Music.kif 1253-1253 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Bell "bell") | domainEnglishFormat.kif 2207-2207 |
| antecedent |
|
|
| (=> (and (instance ?B Bell) (instance ?I Impacting) (destination ?I ?B)) (exists (?MT) (and (instance ?MT MusicalTone) (causes ?I ?MT)))) |
Music.kif 1270-1278 |
| consequent |
|
|
| (=> (instance ?R Ringing) (exists (?B) (and (instance ?B Bell) (instrument ?R ?B)))) |
Music.kif 1366-1371 |
|
|
|
