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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StringInstrument
StringInstrument
more pictures...

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


(documentation StringInstrument EnglishLanguage "A StringInstrument is a type of MusicalInstrument that is played by striking strings, either directly as with a guitar, or indirectly with a bow or via keys as with pianos.") Music.kif 1187-1189
(externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ 2/ 24/ Octobasse.jpg") pictureList-ImageNet.kif 560-560
(externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Cello_front_side.jpg") pictureList.kif 4832-4832
(externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ d/ da/ Cello_bridge.jpg") pictureList-ImageNet.kif 557-557
(externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 06/ Viole_amour.JPG/ 290px-Viole_amour.JPG") pictureList-ImageNet.kif 556-556
(externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 16/ Charango_Peruano_1.jpg/ 350px-Charango_Peruano_1.jpg") pictureList-ImageNet.kif 558-558
(externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 3/ 3c/ LeonBernardel-1923.jpeg/ 300px-LeonBernardel-1923.jpeg") pictureList-ImageNet.kif 554-554
(externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ e8/ Classical_Guitar_two_views.jpg/ 200px-Classical_Guitar_two_views.jpg") pictureList-ImageNet.kif 559-559
(externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ e8/ Classical_Guitar_two_views.jpg/ 394px-Classical_Guitar_two_views.jpg") pictureList-ImageNet.kif 555-555
(externalImage StringInstrument "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f6/ Old_violin.jpg/ 250px-Old_violin.jpg") pictureList-ImageNet.kif 553-553
(subclass StringInstrument MusicalInstrument) Music.kif 1186-1186

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


(subclass Cello StringInstrument) Music.kif 1232-1232
(subclass Cithara StringInstrument) Music.kif 1312-1312
(subclass Guitar StringInstrument) Music.kif 1235-1235
(subclass Piano StringInstrument) Music.kif 1228-1228
(subclass Violin StringInstrument) Music.kif 1224-1224
(termFormat ChineseLanguage StringInstrument "弦乐器") domainEnglishFormat.kif 55658-55658
(termFormat ChineseTraditionalLanguage StringInstrument "弦樂器") domainEnglishFormat.kif 55657-55657
(termFormat EnglishLanguage StringInstrument "string instrument") domainEnglishFormat.kif 55656-55656

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


(=>
    (instance ?MI StringInstrument)
    (exists (?S)
        (and
            (instance ?S String)
            (part ?S ?MI))))
Music.kif 1191-1196


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