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
-------------------------


(documentation Bell EnglishLanguage "A PercussionInstrument that produces a single tone when it is struck.") Music.kif 1238-1240
(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 1237-1237 subclass Bell and PercussionInstrument

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 1254-1262

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


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


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