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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusicalInstrument
MusicalInstrument(musical instrument)
more pictures...
Hammond_organ, alto, bandoneon, barrel_organ, bass, calliope, carillon, celesta, choir, concertina, consort, electric_organ, electronic_instrument, electronic_musical_instrument, electronic_organ, flageolet, fretted, grind_organ, hand_organ, handbell, hurdy-gurdy, hurdy_gurdy, instrument, instrumentation, keyboard_instrument, musical_instrument, organ, pianistic, serpent, shepherd's_pipe, sourdine, steam_organ, street_organ, synthesiser, synthesizer, tenor, theremin, treble_recorder, unfretted, valved, 乐器, 楽器

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 20489-20490
No TPTP formula. May not be expressible in strict first order. Merge.kif 20487-20488
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 521-521 "http://upload.wikimedia.org/wikipedia/commons/2/24/ Octobasse.jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 504-504 "http://upload.wikimedia.org/wikipedia/commons/2/29/ Berda,_instrument_(size).jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 496-496 "http://upload.wikimedia.org/wikipedia/commons/2/2d/ Percusion_instrumento_Galicia.jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 509-509 "http://upload.wikimedia.org/wikipedia/commons/3/3b/ Taoist_monk_playing_an_instrument.png" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 506-506 "http://upload.wikimedia.org/wikipedia/commons/5/54/ Phanduri_Georgian_traditional_instrument.jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 530-530 "http://upload.wikimedia.org/wikipedia/commons/7/72/ ButtonAccordeon.jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 500-500 "http://upload.wikimedia.org/wikipedia/commons/8/80/ Bianzhong.jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 532-532 "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Chau_gong.jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 494-494 "http://upload.wikimedia.org/wikipedia/commons/a/a7/ Celo,_instrument.gif" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 538-538 "http://upload.wikimedia.org/wikipedia/commons/c/c5/ Clavecin_flamand.png" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 522-522 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0e/ Harpsichord_1980.JPG/ 300px-Harpsichord_1980.JPG" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 517-517 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1c/ Electronisch_orgel.jpg/ 250px-Electronisch_orgel.jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 501-501 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 22/ Octaaf0320w.JPG/ 200px-Octaaf0320w.JPG" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 511-511 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 22/ YamahaKeyboard.jpg/ 180px-YamahaKeyboard.jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 508-508 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 25/ Moonlander.jpg/ 121px-Moonlander.jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 510-510 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 26/ Horn_(instrument).jpg/ 800px-Horn_(instrument).jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 499-499 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 26/ TalkingDrum.jpg/ 200px-TalkingDrum.jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 505-505 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 29/ Aaclashcymbals.jpg/ 350px-Aaclashcymbals.jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 519-519 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2b/ HommelMetStemsleutel.jpg/ 150px-HommelMetStemsleutel.jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 524-524 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 36/ Melodica_red.jpg/ 300px-Melodica_red.jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 512-512 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 63/ French_horn_front.png/ 250px-French_horn_front.png" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 497-497 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 65/ Mellotron.jpg/ 180px-Mellotron.jpg" is a URL depicting musical instrument
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 534-534 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 66/ Averbode-speeltafel.jpg/ 400px-Averbode-speeltafel.jpg" is a URL depicting musical instrument

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 1213-1213 Horn instrument is a subclass of musical instrument
No TPTP formula. May not be expressible in strict first order. Music.kif 1218-1218 Percussion instrument is a subclass of musical instrument
No TPTP formula. May not be expressible in strict first order. Music.kif 1184-1184 String instrument is a subclass of musical instrument
No TPTP formula. May not be expressible in strict first order. Music.kif 1196-1196 Wind instrument is a subclass of musical instrument
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1057-1057 "乐器" is the printable form of musical instrument in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1874-1874 "musical instrument" is the printable form of musical instrument in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 1875-1875 "楽器" is the printable form of musical instrument in japanese language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 20492-20494

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 561-571
No TPTP formula. May not be expressible in strict first order. Merge.kif 18058-18063


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