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


KB Term:  Term intersection
English Word: 

  Bell

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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