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. chinese_format.kif 3620-3621
No TPTP formula. May not be expressible in strict first order. Merge.kif 14675-14676
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 1207-1207 Horn instrument is a subclass of musical instrument
No TPTP formula. May not be expressible in strict first order. Music.kif 1212-1212 Percussion instrument is a subclass of musical instrument
No TPTP formula. May not be expressible in strict first order. Music.kif 1178-1178 String instrument is a subclass of musical instrument
No TPTP formula. May not be expressible in strict first order. Music.kif 1190-1190 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 1330-1330 "musical instrument" is the printable form of musical instrument in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14678-14680

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


No TPTP formula. May not be expressible in strict first order. Music.kif 555-565
No TPTP formula. May not be expressible in strict first order. Merge.kif 12577-12582


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