Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation Bell EnglishLanguage "A PercussionInstrument that produces a single tone when it is struck.") Music.kif 1233-1235
(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 1232-1232 Bell is a subclass of percussion instrument

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


(termFormat ChineseLanguage Bell "钟") domainEnglishFormat.kif 10706-10706
(termFormat ChineseTraditionalLanguage Bell "鐘") domainEnglishFormat.kif 10705-10705
(termFormat EnglishLanguage Bell "bell") domainEnglishFormat.kif 10704-10704

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


(=>
    (and
        (instance ?B Bell)
        (instance ?I Impacting)
        (destination ?I ?B))
    (exists (?MT)
        (and
            (instance ?MT MusicalTone)
            (causes ?I ?MT))))
Music.kif 1249-1257

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


(=>
    (instance ?R Ringing)
    (exists (?B)
        (and
            (instance ?B Bell)
            (instrument ?R ?B))))
Music.kif 1345-1350


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 is open source software produced by Articulate Software and its partners