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。')

Merge.kif 16117-16118
s__documentation(s__MusicalInstrument,s__EnglishLanguage,'A Device which is manipulated by a Human and whose purpose is MakingMusic.')

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

pictureList-ImageNet.kif 521-521 "http://upload.wikimedia.org/wikipedia/commons/2/24/ Octobasse.jpg" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ 2/ 29/ Berda,_instrument_(size).jpg')

pictureList-ImageNet.kif 504-504 "http://upload.wikimedia.org/wikipedia/commons/2/29/ Berda,_instrument_(size).jpg" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2d/ Percusion_instrumento_Galicia.jpg')

pictureList-ImageNet.kif 496-496 "http://upload.wikimedia.org/wikipedia/commons/2/2d/ Percusion_instrumento_Galicia.jpg" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3b/ Taoist_monk_playing_an_instrument.png')

pictureList-ImageNet.kif 509-509 "http://upload.wikimedia.org/wikipedia/commons/3/3b/ Taoist_monk_playing_an_instrument.png" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ 5/ 54/ Phanduri_Georgian_traditional_instrument.jpg')

pictureList-ImageNet.kif 506-506 "http://upload.wikimedia.org/wikipedia/commons/5/54/ Phanduri_Georgian_traditional_instrument.jpg" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ ButtonAccordeon.jpg')

pictureList-ImageNet.kif 530-530 "http://upload.wikimedia.org/wikipedia/commons/7/72/ ButtonAccordeon.jpg" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ Bianzhong.jpg')

pictureList-ImageNet.kif 500-500 "http://upload.wikimedia.org/wikipedia/commons/8/80/ Bianzhong.jpg" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ a/ a3/ Chau_gong.jpg')

pictureList-ImageNet.kif 532-532 "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Chau_gong.jpg" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ a/ a7/ Celo,_instrument.gif')

pictureList-ImageNet.kif 494-494 "http://upload.wikimedia.org/wikipedia/commons/a/a7/ Celo,_instrument.gif" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ c/ c5/ Clavecin_flamand.png')

pictureList-ImageNet.kif 538-538 "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Clavecin_flamand.png" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 0/ 0e/ Harpsichord_1980.JPG/ 300px-Harpsichord_1980.JPG')

pictureList-ImageNet.kif 522-522 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0e/ Harpsichord_1980.JPG/ 300px-Harpsichord_1980.JPG" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 1/ 1c/ Electronisch_orgel.jpg/ 250px-Electronisch_orgel.jpg')

pictureList-ImageNet.kif 517-517 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1c/ Electronisch_orgel.jpg/ 250px-Electronisch_orgel.jpg" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 22/ Octaaf0320w.JPG/ 200px-Octaaf0320w.JPG')

pictureList-ImageNet.kif 501-501 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 22/ Octaaf0320w.JPG/ 200px-Octaaf0320w.JPG" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 22/ YamahaKeyboard.jpg/ 180px-YamahaKeyboard.jpg')

pictureList-ImageNet.kif 511-511 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 22/ YamahaKeyboard.jpg/ 180px-YamahaKeyboard.jpg" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 25/ Moonlander.jpg/ 121px-Moonlander.jpg')

pictureList-ImageNet.kif 508-508 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 25/ Moonlander.jpg/ 121px-Moonlander.jpg" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 26/ Horn_(instrument).jpg/ 800px-Horn_(instrument).jpg')

pictureList-ImageNet.kif 510-510 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 26/ Horn_(instrument).jpg/ 800px-Horn_(instrument).jpg" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 26/ TalkingDrum.jpg/ 200px-TalkingDrum.jpg')

pictureList-ImageNet.kif 499-499 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 26/ TalkingDrum.jpg/ 200px-TalkingDrum.jpg" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 29/ Aaclashcymbals.jpg/ 350px-Aaclashcymbals.jpg')

pictureList-ImageNet.kif 505-505 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 29/ Aaclashcymbals.jpg/ 350px-Aaclashcymbals.jpg" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 2b/ HommelMetStemsleutel.jpg/ 150px-HommelMetStemsleutel.jpg')

pictureList-ImageNet.kif 519-519 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2b/ HommelMetStemsleutel.jpg/ 150px-HommelMetStemsleutel.jpg" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 3/ 36/ Melodica_red.jpg/ 300px-Melodica_red.jpg')

pictureList-ImageNet.kif 524-524 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 36/ Melodica_red.jpg/ 300px-Melodica_red.jpg" is a URL depicting musical instrument
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 512-512 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 63/ French_horn_front.png/ 250px-French_horn_front.png" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 6/ 65/ Mellotron.jpg/ 180px-Mellotron.jpg')

pictureList-ImageNet.kif 497-497 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 65/ Mellotron.jpg/ 180px-Mellotron.jpg" is a URL depicting musical instrument
s__externalImage(s__MusicalInstrument,'http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 6/ 66/ Averbode-speeltafel.jpg/ 400px-Averbode-speeltafel.jpg')

pictureList-ImageNet.kif 534-534 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 66/ Averbode-speeltafel.jpg/ 400px-Averbode-speeltafel.jpg" is a URL depicting musical instrument

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__instance(s__HornInstrument,s__SetOrClass)

s__instance(s__MusicalInstrument,s__SetOrClass)

s__subclass(s__HornInstrument,s__MusicalInstrument)

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

s__instance(s__PercussionInstrument,s__SetOrClass)

s__instance(s__MusicalInstrument,s__SetOrClass)

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

s__instance(s__StringInstrument,s__SetOrClass)

s__instance(s__MusicalInstrument,s__SetOrClass)

Music.kif 1184-1184 String instrument is a subclass of musical instrument
s__subclass(s__WindInstrument,s__MusicalInstrument)

s__instance(s__MusicalInstrument,s__SetOrClass)

s__instance(s__WindInstrument,s__SetOrClass)

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

chinese_format.kif 1057-1057 "乐器" is the printable form of musical instrument in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__MusicalInstrument,'musical instrument')

english_format.kif 744-744 "musical instrument" is the printable form of musical instrument in english language

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


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

Merge.kif 16120-16122

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


( ! [V__MR,V__MM] :
   ((s__instance(V__MR,s__ContentBearingObject)s__and__ms__instance(V__MM,s__Process))
    s__=>((s__musicGenre(V__MR,s__AcousticMusic)s__and__ms__record(V__MR,V__MM))
    s__=>(s__not__m(s__exists__m[V__I,V__ED] :
       (s__instance(V__I,s__MusicalInstrument)s__and__ms__instrument(V__MM,V__I)
      s__and__ms__instance(V__ED,s__ElectricDevice)s__and__ms__part(V__ED,V__I))))))
)

Music.kif 561-571
( ! [V__M] :
   (s__instance(V__M,s__MakingInstrumentalMusic)s__=>(s__exists__m[V__I] :
       (s__instance(V__I,s__MusicalInstrument)s__and__ms__instrument(V__M,V__I))))
)

Merge.kif 13687-13692


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners