more pictures...
| StringInstrument(string instrument)
more pictures... | | Klavier, aeolian_harp, aeolian_lyre, balalaika, banjo, bass_viol, bowed, bowed_stringed_instrument, cembalo, chordophone, cither, clavichord, clavier, dulciana, dulcimer, gamba, harp, harpsichord, jew's_harp, jews'_harp, koto, lute, lyre, mandola, mandolin, mouth_bow, pair_of_virginals, pizzicato, plucked, psaltery, samisen, shamisen, sitar, spinet, string, stringed_instrument, trigon, viol, viola, viola_d'amore, viola_da_braccio, viola_da_gamba, virginal, wind_harp, zither, zithern |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1189-1191 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 560-560 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4831-4831 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 557-557 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 556-556 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 558-558 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 554-554 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 559-559 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 555-555 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 553-553 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1188-1188 | String instrument is a subclass of musical instrument |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1234-1234 | Cello is a subclass of string instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1314-1314 | Cithara is a subclass of string instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1237-1237 | Guitar is a subclass of string instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1230-1230 | Piano is a subclass of string instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1226-1226 | Violin is a subclass of string instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55660-55660 | Violin is a subclass of string instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55659-55659 | Violin is a subclass of string instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55658-55658 | Violin is a subclass of string instrument |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1193-1198 |
|
|
|
|