| 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 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1197-1199 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4854-4854 | "http://upload.wikimedia.org/wikipedia/commons/7/7e/ Saxophone_alto.jpg" is a URL depicting wind instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1196-1196 | Wind instrument is a subclass of musical instrument |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1287-1287 | Clarinet is a subclass of wind instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1290-1290 | Flute is a subclass of wind instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1293-1293 | Oboe is a subclass of wind instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1296-1296 | Saxophone is a subclass of wind instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63049-63049 | "管乐器" is the printable form of wind instrument in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63048-63048 | "管樂器" is the printable form of wind instrument in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63047-63047 | "wind instrument" is the printable form of wind instrument in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1201-1211 |
|
|
|
|