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 弦乐器乐器subclass

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


(subclass Cello StringInstrument) Music.kif 1232-1232 Cello弦乐器subclass
(subclass Cithara StringInstrument) Music.kif 1312-1312 Cithara弦乐器subclass
(subclass Guitar StringInstrument) Music.kif 1235-1235 吉他弦乐器subclass
(subclass Piano StringInstrument) Music.kif 1228-1228 钢琴弦乐器subclass
(subclass Violin StringInstrument) Music.kif 1224-1224 小提琴弦乐器subclass
(termFormat ChineseLanguage StringInstrument "弦乐器") domainEnglishFormat.kif 55656-55656
(termFormat ChineseTraditionalLanguage StringInstrument "弦樂器") domainEnglishFormat.kif 55655-55655
(termFormat EnglishLanguage StringInstrument "string instrument") domainEnglishFormat.kif 55654-55654

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