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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusicalInstrument
MusicalInstrument(musical instrument)
more pictures...
Hammond_organ, alto, bandoneon, barrel_organ, bass, calliope, carillon, celesta, choir, concertina, consort, electric_organ, electronic_instrument, electronic_musical_instrument, electronic_organ, flageolet, fretted, grind_organ, hand_organ, handbell, hurdy-gurdy, hurdy_gurdy, instrument, instrumentation, keyboard_instrument, musical_instrument, organ, pianistic, serpent, shepherd's_pipe, sourdine, steam_organ, street_organ, synthesiser, synthesizer, tenor, theremin, treble_recorder, unfretted, valved

appearance as argument number 1
-------------------------


s__documentation(s__MusicalInstrument,s__ChineseLanguage,'"这是一件由 Human 控制的 Device,它的用途 是为了 MakingMusic。"')

chinese_format.kif 3620-3621
s__documentation(s__MusicalInstrument,s__EnglishLanguage,'"A Device which is manipulated by a Human and whose purpose is MakingMusic."')

Merge.kif 15304-15305
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ 2/ 24/ Octobasse.jpg"')

pictureList-ImageNet.kif 520-520
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ 2/ 29/ Berda,_instrument_(size).jpg"')

pictureList-ImageNet.kif 503-503
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2d/ Percusion_instrumento_Galicia.jpg"')

pictureList-ImageNet.kif 495-495
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3b/ Taoist_monk_playing_an_instrument.png"')

pictureList-ImageNet.kif 508-508
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ 5/ 54/ Phanduri_Georgian_traditional_instrument.jpg"')

pictureList-ImageNet.kif 505-505
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ ButtonAccordeon.jpg"')

pictureList-ImageNet.kif 529-529
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ Bianzhong.jpg"')

pictureList-ImageNet.kif 499-499
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ a/ a3/ Chau_gong.jpg"')

pictureList-ImageNet.kif 531-531
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ a/ a7/ Celo,_instrument.gif"')

pictureList-ImageNet.kif 493-493
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ c/ c5/ Clavecin_flamand.png"')

pictureList-ImageNet.kif 537-537
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 0/ 0e/ Harpsichord_1980.JPG/ 300px-Harpsichord_1980.JPG"')

pictureList-ImageNet.kif 521-521
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 1/ 1c/ Electronisch_orgel.jpg/ 250px-Electronisch_orgel.jpg"')

pictureList-ImageNet.kif 516-516
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 22/ Octaaf0320w.JPG/ 200px-Octaaf0320w.JPG"')

pictureList-ImageNet.kif 500-500
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 22/ YamahaKeyboard.jpg/ 180px-YamahaKeyboard.jpg"')

pictureList-ImageNet.kif 510-510
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 25/ Moonlander.jpg/ 121px-Moonlander.jpg"')

pictureList-ImageNet.kif 507-507
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 26/ Horn_(instrument).jpg/ 800px-Horn_(instrument).jpg"')

pictureList-ImageNet.kif 509-509
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 26/ TalkingDrum.jpg/ 200px-TalkingDrum.jpg"')

pictureList-ImageNet.kif 498-498
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 29/ Aaclashcymbals.jpg/ 350px-Aaclashcymbals.jpg"')

pictureList-ImageNet.kif 504-504
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 2b/ HommelMetStemsleutel.jpg/ 150px-HommelMetStemsleutel.jpg"')

pictureList-ImageNet.kif 518-518
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 3/ 36/ Melodica_red.jpg/ 300px-Melodica_red.jpg"')

pictureList-ImageNet.kif 523-523
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 6/ 63/ French_horn_front.png/ 250px-French_horn_front.png"')

pictureList-ImageNet.kif 511-511
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 6/ 65/ Mellotron.jpg/ 180px-Mellotron.jpg"')

pictureList-ImageNet.kif 496-496
s__externalImage(s__MusicalInstrument,'"http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 6/ 66/ Averbode-speeltafel.jpg/ 400px-Averbode-speeltafel.jpg"')

pictureList-ImageNet.kif 533-533

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__instance(s__MusicalInstrument,s__Class)

s__subclass(s__HornInstrument,s__MusicalInstrument)

s__instance(s__HornInstrument,s__Class)

Music.kif 1208-1208 Horn instrument is a subclass of musical instrument
s__instance(s__PercussionInstrument,s__Class)

s__subclass(s__PercussionInstrument,s__MusicalInstrument)

s__instance(s__MusicalInstrument,s__Class)

Music.kif 1213-1213 Percussion instrument is a subclass of musical instrument
s__subclass(s__StringInstrument,s__MusicalInstrument)

s__instance(s__MusicalInstrument,s__Class)

s__instance(s__StringInstrument,s__Class)

Music.kif 1179-1179 String instrument is a subclass of musical instrument
s__instance(s__MusicalInstrument,s__Class)

s__subclass(s__WindInstrument,s__MusicalInstrument)

s__instance(s__WindInstrument,s__Class)

Music.kif 1191-1191 Wind instrument is a subclass of musical instrument
s__termFormat(s__ChineseLanguage,s__MusicalInstrument,'"乐器"')

chinese_format.kif 1057-1057
s__termFormat(s__EnglishLanguage,s__MusicalInstrument,'"musical instrument"')

english_format.kif 1325-1325

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


( ! [V__INSTRUMENT] :
   ((s__instance(V__INSTRUMENT,s__MusicalInstrument) =>
       (s__capability(s__MakingMusic,s__instrument__m,V__INSTRUMENT)))
   )
)

Merge.kif 15307-15309

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


( ! [V__MR,V__MM] :
   (((s__instance(V__MR,s__ContentBearingObject) &
         s__instance(V__MM,s__Process))
       =>
       (((s__musicGenre(V__MR,s__AcousticMusic) &
             s__record(V__MR,V__MM))
         =>
         (~(( ? [V__I, V__ED] :
               ((s__instance(V__I,s__MusicalInstrument) &
                   s__instrument(V__MM,V__I)
                 &
                 s__instance(V__ED,s__ElectricDevice) &
                 s__part(V__ED,V__I)))))))))
)
)

Music.kif 556-566
( ! [V__M] :
   ((s__instance(V__M,s__MakingInstrumentalMusic) =>
       (( ? [V__I] :
           ((s__instance(V__I,s__MusicalInstrument) &
               s__instrument(V__M,V__I))))))
   )
)

Merge.kif 13090-13095


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