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, 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


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 3.0 is open source software produced by Articulate Software and its partners