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 1179-1181 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 561-561 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4833-4833 | |
| 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 557-557 | |
| 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 560-560 | |
| 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 554-554 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1178-1178 | 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 1224-1224 | Cello is a subclass of string instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1304-1304 | Cithara is a subclass of string instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1227-1227 | Guitar is a subclass of string instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1220-1220 | Piano is a subclass of string instrument |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1216-1216 | Violin is a subclass of string instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55570-55570 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55569-55569 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55568-55568 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1183-1188 |
|
|
|
|