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 1240-1242
(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 1239-1239

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


(termFormat ChineseLanguage Bell "钟") domainEnglishFormat.kif 10697-10697
(termFormat ChineseTraditionalLanguage Bell "鐘") domainEnglishFormat.kif 10696-10696
(termFormat EnglishLanguage Bell "bell") domainEnglishFormat.kif 10695-10695

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


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

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


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


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