No TPTP formula. May not be expressible in strict first order. | Music.kif 1198-1198 | Wind instrument is a subclass of musical instrument |
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 |