| 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 1224-1224 | 子類 小提琴 and 弦樂器 |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1228-1228 | 子類 鋼琴 and 弦樂器 |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1232-1232 | 子類 Cello and 弦樂器 |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1235-1235 | 子類 吉他 and 弦樂器 |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1312-1312 | 子類 Cithara and 弦樂器 |
|
|