No TPTP formula. May not be expressible in strict first order. | Music.kif 1186-1186 | String instrument is a subclass of musical instrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1224-1224 | Violin is a subclass of string instrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1228-1228 | Piano is a subclass of string instrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1232-1232 | Cello is a subclass of string instrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1235-1235 | Guitar is a subclass of string instrument |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1312-1312 | Cithara is a subclass of string instrument |