Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
WindInstrument(wind instrument)
|  | American_organ, English_horn, accordion, bagpipe, baritone, baritone_horn, bass_horn, bassoon, beating-reed_instrument, bombard, bombardon, bourdon, brass, brass_family, brass_instrument, chanter, clarion, contrabassoon, contrafagotto, cor_anglais, cromorne, crumhorn, double-reed_instrument, double_bassoon, double_reed, drone, drone_pipe, fipple_flute, fipple_pipe, flue, flue_pipe, flue_stop, fluegelhorn, flugelhorn, free-reed_instrument, harmonica, harmonium, harp, helicon, hornpipe, kazoo, krummhorn, labial_pipe, melody_pipe, mouth_harp, mouth_organ, musette, ocarina, organ, pandean_pipe... |
| appearance as argument number 1 |
|
|
| (subclass WindInstrument MusicalInstrument) | Music.kif 1202-1202 | Wind instrument is a subclass of musical instrument |
| (documentation WindInstrument EnglishLanguage "A WindInstrument is a type of MusicalInstrument that is played by blowing on it and which uses a reed, or resonator hole as in the case of a flute.") | Music.kif 1203-1205 | Wind instrument is a subclass of musical instrument |
| (externalImage WindInstrument "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Saxophone_alto.jpg") | pictureList.kif 4852-4852 | Wind instrument is a subclass of musical instrument |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?WI WindInstrument) (instance ?M MakingInstrumentalMusic) (agent ?M ?A) (instrument ?M ?WI)) (exists (?B) (and (instance ?B Exhaling) (agent ?B ?A) (subProcess ?B ?M)))) |
Music.kif 1207-1217 | If X is an instance of wind instrument, Y is an instance of instrumental music, Z is an agent of Y, and X is an instrument for Y, then there exists W such that W is an instance of exhaling, Z is an agent of W, and W is a subprocess of Y |
|