Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StringInstrument
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, string_instrument, 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 "http://upload.wikimedia.org/wikipedia/commons/2/24/ Octobasse.jpg" is a URL depicting string instrument
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4833-4833 "http://upload.wikimedia.org/wikipedia/commons/8/8c/ Cello_front_side.jpg" is a URL depicting string instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 558-558 "http://upload.wikimedia.org/wikipedia/commons/d/da/ Cello_bridge.jpg" is a URL depicting string instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 557-557 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 06/ Viole_amour.JPG/ 290px-Viole_amour.JPG" is a URL depicting string instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 559-559 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 16/ Charango_Peruano_1.jpg/ 350px-Charango_Peruano_1.jpg" is a URL depicting string instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 555-555 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 3c/ LeonBernardel-1923.jpeg/ 300px-LeonBernardel-1923.jpeg" is a URL depicting string instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 560-560 "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e8/ Classical_Guitar_two_views.jpg/ 200px-Classical_Guitar_two_views.jpg" is a URL depicting string instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 556-556 "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e8/ Classical_Guitar_two_views.jpg/ 394px-Classical_Guitar_two_views.jpg" is a URL depicting string instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 554-554 "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f6/ Old_violin.jpg/ 250px-Old_violin.jpg" is a URL depicting string instrument
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 55597-55597 "弦乐器" is the printable form of string instrument in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55596-55596 "弦樂器" is the printable form of string instrument in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55595-55595 "string instrument" is the printable form of string instrument in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 1183-1188


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners