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


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