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 StringInstrument est une sous-classe de instrument de musique

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


(subclass Cello StringInstrument) Music.kif 1232-1232 Cello est une sous-classe de StringInstrument
(subclass Cithara StringInstrument) Music.kif 1312-1312 Cithara est une sous-classe de StringInstrument
(subclass Guitar StringInstrument) Music.kif 1235-1235 Guitar est une sous-classe de StringInstrument
(subclass Piano StringInstrument) Music.kif 1228-1228 Piano est une sous-classe de StringInstrument
(subclass Violin StringInstrument) Music.kif 1224-1224 Violin est une sous-classe de StringInstrument
(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