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 1199-1201 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4853-4853 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1198-1198 | 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 1289-1289 | Clarinet is a subclass of wind instrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1292-1292 | Flute is a subclass of wind instrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1295-1295 | Oboe is a subclass of wind instrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1298-1298 | Saxophone is a subclass of wind instrument |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63105-63105 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63104-63104 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63103-63103 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1203-1213 |
|