| No TPTP formula. May not be expressible in strict first order. | Music.kif 1198-1198 | 子類 管樂器 and MusicalInstrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1289-1289 | 子類 Clarinet and 管樂器 |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1292-1292 | 子類 Flute and 管樂器 |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1295-1295 | 子類 Oboe and 管樂器 |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1298-1298 | 子類 Saxophone and 管樂器 |
|
|