| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15957-15957 | 子類 MusicalInstrument and Device |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1186-1186 | 子類 弦樂器 and MusicalInstrument |
| 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 1215-1215 | 子類 喇叭樂器 and MusicalInstrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1220-1220 | 子類 打擊樂器 and MusicalInstrument |
|
|