Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Bell
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
-------------------------


(subclass Bell PercussionInstrument) Music.kif 1243-1243 Bell is a subclass of percussion instrument
(documentation Bell EnglishLanguage "A PercussionInstrument that produces a single tone when it is struck.") Music.kif 1244-1246 Bell is a subclass of percussion instrument
(defaultMinimumHeight Bell
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 765-765 The minimum expected height of bell is 2 inch(s)
(defaultMaximumHeight Bell
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 766-766 The maximum expected height of bell is 12 inch(s)
(defaultMinimumWidth Bell
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 767-767 The minimum expected width of bell is 2 inch(s)
(defaultMaximumWidth Bell
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 768-768 The maximum expected width of bell is 12 inch(s)
(defaultMinimumLength Bell
    (MeasureFn 6 Inch))		 DimensioningAmenities.kif 769-769 The minimum expected length of bell is 6 inch(s)
(defaultMaximumLength Bell
    (MeasureFn 20 Inch))		 DimensioningAmenities.kif 770-770 The maximum expected length of bell is 20 inch(s)
(defaultMinimumMeasure Bell
    (MeasureFn 1 PoundMass))		 DimensioningAmenities.kif 771-771 The minimum expected value of bell is 1 pound mass(s)
(defaultMaximumMeasure Bell
    (MeasureFn 20 PoundMass))		 DimensioningAmenities.kif 772-772 The maximum expected value of bell is 20 pound mass(s)
(externalImage Bell "http://upload.wikimedia.org/wikipedia/commons/e/e2/ Dzwon_z_Jasnej_G%C3%B3ry.jpg") pictureList.kif 39-39 The maximum expected value of bell is 20 pound mass(s)
(externalImage Bell "http://articulatesoftware.com/SUMOpictures/holiday/ Christmas/ green/ bell18.png") pictureList.kif 272-272 The maximum expected value of bell is 20 pound mass(s)

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Bell "bell") domainEnglishFormat.kif 10701-10701
(termFormat ChineseTraditionalLanguage Bell "鐘") domainEnglishFormat.kif 10702-10702
(termFormat ChineseLanguage Bell "钟") domainEnglishFormat.kif 10703-10703

antecedent
-------------------------


(=>
    (and
        (instance ?B Bell)
        (instance ?I Impacting)
        (destination ?I ?B))
    (exists (?MT)
        (and
            (instance ?MT MusicalTone)
            (causes ?I ?MT))))		 Music.kif 1260-1268 If X is an instance of bell, Y is an instance of impacting, and Y ends up at X, then there exists Z such that Z is an instance of musical tone and Y causes Z

consequent
-------------------------


(=>
    (instance ?R Ringing)
    (exists (?B)
        (and
            (instance ?B Bell)
            (instrument ?R ?B))))		 Music.kif 1356-1361 If X is an instance of ringing, then there exists Y such that Y is an instance of bell and Y is an instrument for X


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners