Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bell

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners