|
|
   MusicalInstrument
|
|
|
| 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 14793-14794 | |
| (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 | subclass HornInstrument and MusicalInstrument |
| (subclass PercussionInstrument MusicalInstrument) | Music.kif 1212-1212 | subclass PercussionInstrument and MusicalInstrument |
| (subclass StringInstrument MusicalInstrument) | Music.kif 1178-1178 | subclass StringInstrument and MusicalInstrument |
| (subclass WindInstrument MusicalInstrument) | Music.kif 1190-1190 | subclass WindInstrument and MusicalInstrument |
| (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 14796-14798 |
| 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 12695-12700 |
|
|
|
