No TPTP formula. May not be expressible in strict first order. | Music.kif 1186-1186 | 弦乐器 是 乐器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1224-1224 | 小提琴 是 弦乐器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1228-1228 | 钢琴 是 弦乐器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1232-1232 | Cello 是 弦乐器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1235-1235 | 吉他 是 弦乐器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1312-1312 | Cithara 是 弦乐器 的 subclass |