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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StringInstrument

 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 1187-1189
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 4832-4832
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 1186-1186 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 1232-1232 Cello 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
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 1228-1228 Piano is a subclass of string 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. domainEnglishFormat.kif 55656-55656
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55655-55655
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55654-55654

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


No TPTP formula. May not be expressible in strict first order. Music.kif 1191-1196


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

Show without tree


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