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 14793-14794
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 521-521
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 504-504
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 496-496
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 509-509
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 506-506
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 530-530
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 500-500
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 532-532
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 494-494
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 538-538
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 522-522
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 517-517
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 501-501
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 511-511
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 508-508
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 510-510
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 499-499
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 505-505
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 519-519
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 524-524
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 512-512
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 497-497
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 534-534

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
No TPTP formula. May not be expressible in strict first order. english_format.kif 1330-1330

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14796-14798

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


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