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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusicalInstrument
MusicalInstrument(Instrumento Musical)
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 15958-15959
(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

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 1215-1215 HornInstrument e' uma sub-classe de Instrumento Musical
(subclass PercussionInstrument MusicalInstrument) Music.kif 1220-1220 PercussionInstrument e' uma sub-classe de Instrumento Musical
(subclass StringInstrument MusicalInstrument) Music.kif 1186-1186 StringInstrument e' uma sub-classe de Instrumento Musical
(subclass WindInstrument MusicalInstrument) Music.kif 1198-1198 WindInstrument e' uma sub-classe de Instrumento Musical
(termFormat ChineseLanguage MusicalInstrument "乐器") chinese_format.kif 1057-1057
(termFormat EnglishLanguage MusicalInstrument "musical instrument") english_format.kif 1325-1325
(termFormat FrenchLanguage MusicalInstrument "instrument de musique") french_format.kif 735-735
(termFormat Hindi MusicalInstrument "vaadya yantra") terms-hindi.txt 266-266
(termFormat ItalianLanguage MusicalInstrument "StrumentoMusicale") terms-it.txt 269-269
(termFormat JapaneseLanguage MusicalInstrument "楽器") japanese_format.kif 2419-2419
(termFormat PortugueseLanguage MusicalInstrument "Instrumento Musical") portuguese_format.kif 687-687
(termFormat cz MusicalInstrument "musical instrument") terms-cz.txt 305-305
(termFormat ro MusicalInstrument "instrument muzical") relations-ro.kif 756-756
(termFormat tg MusicalInstrument "kasangkapan sa musika") terms-tg.txt 270-270

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


(=>
    (instance ?INSTRUMENT MusicalInstrument)
    (capability MakingMusic instrument ?INSTRUMENT))
Merge.kif 15961-15963

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 559-569
(=>
    (instance ?M MakingInstrumentalMusic)
    (exists (?I)
        (and
            (instance ?I MusicalInstrument)
            (instrument ?M ?I))))
Merge.kif 13708-13713


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