No TPTP formula. May not be expressible in strict first order. | Music.kif 1186-1186 | StringInstrument est une sous-classe de instrument de musique |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1224-1224 | Violin est une sous-classe de StringInstrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1228-1228 | Piano est une sous-classe de StringInstrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1232-1232 | Cello est une sous-classe de StringInstrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1235-1235 | Guitar est une sous-classe de StringInstrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1312-1312 | Cithara est une sous-classe de StringInstrument |