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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 打击乐器subclass

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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