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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MusicalInstrument

Sigma KEE - MusicalInstrument
MusicalInstrument
more pictures...

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 15341-15342
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 24/ Octobasse.jpg") pictureList-ImageNet.kif 520-520
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 29/ Berda,_instrument_(size).jpg") pictureList-ImageNet.kif 503-503
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2d/ Percusion_instrumento_Galicia.jpg") pictureList-ImageNet.kif 495-495
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3b/ Taoist_monk_playing_an_instrument.png") pictureList-ImageNet.kif 508-508
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 54/ Phanduri_Georgian_traditional_instrument.jpg") pictureList-ImageNet.kif 505-505
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ ButtonAccordeon.jpg") pictureList-ImageNet.kif 529-529
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ Bianzhong.jpg") pictureList-ImageNet.kif 499-499
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ a/ a3/ Chau_gong.jpg") pictureList-ImageNet.kif 531-531
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ a/ a7/ Celo,_instrument.gif") pictureList-ImageNet.kif 493-493
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ c/ c5/ Clavecin_flamand.png") pictureList-ImageNet.kif 537-537
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 0/ 0e/ Harpsichord_1980.JPG/ 300px-Harpsichord_1980.JPG") pictureList-ImageNet.kif 521-521
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 1/ 1c/ Electronisch_orgel.jpg/ 250px-Electronisch_orgel.jpg") pictureList-ImageNet.kif 516-516
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 22/ Octaaf0320w.JPG/ 200px-Octaaf0320w.JPG") pictureList-ImageNet.kif 500-500
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 22/ YamahaKeyboard.jpg/ 180px-YamahaKeyboard.jpg") pictureList-ImageNet.kif 510-510
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 25/ Moonlander.jpg/ 121px-Moonlander.jpg") pictureList-ImageNet.kif 507-507
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 26/ Horn_(instrument).jpg/ 800px-Horn_(instrument).jpg") pictureList-ImageNet.kif 509-509
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 26/ TalkingDrum.jpg/ 200px-TalkingDrum.jpg") pictureList-ImageNet.kif 498-498
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 29/ Aaclashcymbals.jpg/ 350px-Aaclashcymbals.jpg") pictureList-ImageNet.kif 504-504
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 2b/ HommelMetStemsleutel.jpg/ 150px-HommelMetStemsleutel.jpg") pictureList-ImageNet.kif 518-518
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 3/ 36/ Melodica_red.jpg/ 300px-Melodica_red.jpg") pictureList-ImageNet.kif 523-523
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 6/ 63/ French_horn_front.png/ 250px-French_horn_front.png") pictureList-ImageNet.kif 511-511
(externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 6/ 65/ Mellotron.jpg/ 180px-Mellotron.jpg") pictureList-ImageNet.kif 496-496
(externalImage 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
-------------------------


(subclass HornInstrument MusicalInstrument) Music.kif 1208-1208
(subclass PercussionInstrument MusicalInstrument) Music.kif 1213-1213
(subclass StringInstrument MusicalInstrument) Music.kif 1179-1179
(subclass WindInstrument MusicalInstrument) Music.kif 1191-1191
(termFormat ChineseLanguage MusicalInstrument "乐器") chinese_format.kif 1057-1057
(termFormat EnglishLanguage MusicalInstrument "musical instrument") english_format.kif 1325-1325

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


(=>
    (instance ?INSTRUMENT MusicalInstrument)
    (capability MakingMusic instrument ?INSTRUMENT))
Merge.kif 15344-15346

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 556-566
(=>
    (instance ?M MakingInstrumentalMusic)
    (exists (?I)
        (and
            (instance ?I MusicalInstrument)
            (instrument ?M ?I))))
Merge.kif 13127-13132


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