Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
StringInstrument(string instrument)
more pictures... |  | Klavier, aeolian_harp, aeolian_lyre, balalaika, banjo, bass_viol, bowed, bowed_stringed_instrument, cembalo, chordophone, cither, clavichord, clavier, dulciana, dulcimer, gamba, harp, harpsichord, jew's_harp, jews'_harp, koto, lute, lyre, mandola, mandolin, mouth_bow, pair_of_virginals, pizzicato, plucked, psaltery, samisen, shamisen, sitar, spinet, string, stringed_instrument, trigon, viol, viola, viola_d'amore, viola_da_braccio, viola_da_gamba, virginal, wind_harp, zither, zithern |
| appearance as argument number 1 |
|
|
| (subclass StringInstrument MusicalInstrument) | Music.kif 1190-1190 | String instrument is a subclass of musical instrument |
| (documentation StringInstrument EnglishLanguage "A StringInstrument is a type of MusicalInstrument that is played by striking strings, either directly as with a guitar, or indirectly with a bow or via keys as with pianos.") | Music.kif 1191-1193 | String instrument is a subclass of musical instrument |
| (externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f6/ Old_violin.jpg/ 250px_Old_violin.jpg") | pictureList-ImageNet.kif 553-553 | String instrument is a subclass of musical instrument |
| (externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 3/ 3c/ LeonBernardel-1923.jpeg/ 300px_LeonBernardel-1923.jpeg") | pictureList-ImageNet.kif 554-554 | String instrument is a subclass of musical instrument |
| (externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ e8/ Classical_Guitar_two_views.jpg/ 394px_Classical_Guitar_two_views.jpg") | pictureList-ImageNet.kif 555-555 | String instrument is a subclass of musical instrument |
| (externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 06/ Viole_amour.JPG/ 290px_Viole_amour.JPG") | pictureList-ImageNet.kif 556-556 | String instrument is a subclass of musical instrument |
| (externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ d/ da/ Cello_bridge.jpg") | pictureList-ImageNet.kif 557-557 | String instrument is a subclass of musical instrument |
| (externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 16/ Charango_Peruano_1.jpg/ 350px_Charango_Peruano_1.jpg") | pictureList-ImageNet.kif 558-558 | String instrument is a subclass of musical instrument |
| (externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ e8/ Classical_Guitar_two_views.jpg/ 200px_Classical_Guitar_two_views.jpg") | pictureList-ImageNet.kif 559-559 | String instrument is a subclass of musical instrument |
| (externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ 2/ 24/ Octobasse.jpg") | pictureList-ImageNet.kif 560-560 | String instrument is a subclass of musical instrument |
| (externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Cello_front_side.jpg") | pictureList.kif 4831-4831 | String instrument is a subclass of musical instrument |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?MI StringInstrument) (exists (?S) (and (instance ?S String) (part ?S ?MI)))) |
Music.kif 1195-1200 | If X is an instance of string instrument, then there exists Y such that Y is an instance of string and Y is a part of X |
|