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 1242-1244
(externalImage Bell "http://articulatesoftware.com/SUMOpictures/holiday/ Christmas/ green/ bell18.png") pictureList.kif 272-272
(externalImage Bell "http://upload.wikimedia.org/wikipedia/commons/e/e2/ Dzwon_z_Jasnej_G%C3%B3ry.jpg") pictureList.kif 39-39
(subclass Bell PercussionInstrument) Music.kif 1241-1241 Bell is a subclass of percussion instrument

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


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

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


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

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


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


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