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 16030-16031 | |
(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 |
antecedent |
(=> (instance ?INSTRUMENT MusicalInstrument) (capability MakingMusic instrument ?INSTRUMENT)) |
Merge.kif 16033-16035 |
|
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 13754-13759 |
|