No TPTP formula. May not be expressible in strict first order. | Music.kif 1186-1186 | StringInstrument e' uma sub-classe de Instrumento Musical |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1224-1224 | Violin e' uma sub-classe de StringInstrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1228-1228 | Piano e' uma sub-classe de StringInstrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1232-1232 | Cello e' uma sub-classe de StringInstrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1235-1235 | Guitar e' uma sub-classe de StringInstrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1312-1312 | Cithara e' uma sub-classe de StringInstrument |
![]() |