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


(documentation MusicalInstrument ChineseLanguage "这是一件由 Human 控制的 Device,它的用途 是为了 MakingMusic。") chinese_format.kif 3620-3621
(documentation MusicalInstrument EnglishLanguage "A Device which is manipulated by a Human and whose purpose is MakingMusic.") Merge.kif 14824-14825
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 24/ Octobasse.jpg") pictureList-ImageNet.kif 521-521
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 29/ Berda,_instrument_(size).jpg") pictureList-ImageNet.kif 504-504
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2d/ Percusion_instrumento_Galicia.jpg") pictureList-ImageNet.kif 496-496
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3b/ Taoist_monk_playing_an_instrument.png") pictureList-ImageNet.kif 509-509
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 54/ Phanduri_Georgian_traditional_instrument.jpg") pictureList-ImageNet.kif 506-506
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ ButtonAccordeon.jpg") pictureList-ImageNet.kif 530-530
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ Bianzhong.jpg") pictureList-ImageNet.kif 500-500
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ a/ a3/ Chau_gong.jpg") pictureList-ImageNet.kif 532-532
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ a/ a7/ Celo,_instrument.gif") pictureList-ImageNet.kif 494-494
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ c/ c5/ Clavecin_flamand.png") pictureList-ImageNet.kif 538-538
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 0/ 0e/ Harpsichord_1980.JPG/ 300px-Harpsichord_1980.JPG") pictureList-ImageNet.kif 522-522
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 1/ 1c/ Electronisch_orgel.jpg/ 250px-Electronisch_orgel.jpg") pictureList-ImageNet.kif 517-517
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 22/ Octaaf0320w.JPG/ 200px-Octaaf0320w.JPG") pictureList-ImageNet.kif 501-501
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 22/ YamahaKeyboard.jpg/ 180px-YamahaKeyboard.jpg") pictureList-ImageNet.kif 511-511
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 25/ Moonlander.jpg/ 121px-Moonlander.jpg") pictureList-ImageNet.kif 508-508
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 26/ Horn_(instrument).jpg/ 800px-Horn_(instrument).jpg") pictureList-ImageNet.kif 510-510
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 26/ TalkingDrum.jpg/ 200px-TalkingDrum.jpg") pictureList-ImageNet.kif 499-499
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 29/ Aaclashcymbals.jpg/ 350px-Aaclashcymbals.jpg") pictureList-ImageNet.kif 505-505
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 2b/ HommelMetStemsleutel.jpg/ 150px-HommelMetStemsleutel.jpg") pictureList-ImageNet.kif 519-519
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 3/ 36/ Melodica_red.jpg/ 300px-Melodica_red.jpg") pictureList-ImageNet.kif 524-524
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 6/ 63/ French_horn_front.png/ 250px-French_horn_front.png") pictureList-ImageNet.kif 512-512
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 6/ 65/ Mellotron.jpg/ 180px-Mellotron.jpg") pictureList-ImageNet.kif 497-497
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 6/ 66/ Averbode-speeltafel.jpg/ 400px-Averbode-speeltafel.jpg") pictureList-ImageNet.kif 534-534

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(subclass HornInstrument MusicalInstrument) Music.kif 1207-1207 Horn instrument is a subclass of musical instrument
(subclass PercussionInstrument MusicalInstrument) Music.kif 1212-1212 Percussion instrument is a subclass of musical instrument
(subclass StringInstrument MusicalInstrument) Music.kif 1178-1178 String instrument is a subclass of musical instrument
(subclass WindInstrument MusicalInstrument) Music.kif 1190-1190 Wind instrument is a subclass of musical instrument
(termFormat ChineseLanguage MusicalInstrument "乐器") chinese_format.kif 1057-1057
(termFormat EnglishLanguage MusicalInstrument "musical instrument") english_format.kif 1330-1330

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


(=>
    (instance ?INSTRUMENT MusicalInstrument)
    (capability MakingMusic instrument ?INSTRUMENT))
Merge.kif 14827-14829

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


(=>
    (and
        (musicGenre ?MR AcousticMusic)
        (record ?MR ?MM))
    (not
        (exists (?I ?ED)
            (and
                (instance ?I MusicalInstrument)
                (instrument ?MM ?I)
                (instance ?ED ElectricDevice)
                (part ?ED ?I)))))
Music.kif 555-565
(=>
    (instance ?M MakingInstrumentalMusic)
    (exists (?I)
        (and
            (instance ?I MusicalInstrument)
            (instrument ?M ?I))))
Merge.kif 12715-12720


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