| 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 1201-1203 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4852-4852 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1200-1200 | 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 1291-1291 | Clarinet is a subclass of wind instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1294-1294 | Flute is a subclass of wind instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1297-1297 | Oboe is a subclass of wind instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1300-1300 | Saxophone is a subclass of wind instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63099-63099 | Saxophone is a subclass of wind instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63098-63098 | Saxophone is a subclass of wind instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63097-63097 | Saxophone is a subclass of wind instrument |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1205-1215 |
|
|
|
|