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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 " Dzwon_z_Jasnej_G%C3%B3ry.jpg") pictureList.kif 39-39
(externalImage Bell " 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


        (instance ?B Bell)
        (instance ?I Impacting)
        (destination ?I ?B))
    (exists (?MT)
            (instance ?MT MusicalTone)
            (causes ?I ?MT))))
Music.kif 1270-1278


    (instance ?R Ringing)
    (exists (?B)
            (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