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

Formal Language: 


KB Term:  Term intersection
English Word: 

  WindInstrument

Sigma KEE - WindInstrument
WindInstrument

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


(documentation WindInstrument EnglishLanguage "A WindInstrument is a type of MusicalInstrument that is played by blowing on it and which uses a reed, or resonator hole as in the case of a flute.") Music.kif 1201-1203
(externalImage WindInstrument "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Saxophone_alto.jpg") pictureList.kif 4852-4852
(subclass WindInstrument MusicalInstrument) Music.kif 1200-1200 WindInstrument楽器subclass では

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


(subclass Clarinet WindInstrument) Music.kif 1291-1291 ClarinetWindInstrumentsubclass では
(subclass Flute WindInstrument) Music.kif 1294-1294 FluteWindInstrumentsubclass では
(subclass Oboe WindInstrument) Music.kif 1297-1297 OboeWindInstrumentsubclass では
(subclass Saxophone WindInstrument) Music.kif 1300-1300 SaxophoneWindInstrumentsubclass では
(termFormat ChineseLanguage WindInstrument "管乐器") domainEnglishFormat.kif 63099-63099 SaxophoneWindInstrumentsubclass では
(termFormat ChineseTraditionalLanguage WindInstrument "管樂器") domainEnglishFormat.kif 63098-63098 SaxophoneWindInstrumentsubclass では
(termFormat EnglishLanguage WindInstrument "wind instrument") domainEnglishFormat.kif 63097-63097 SaxophoneWindInstrumentsubclass では

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


(=>
    (and
        (instance ?WI WindInstrument)
        (instance ?M MakingInstrumentalMusic)
        (agent ?M ?A)
        (instrument ?M ?WI))
    (exists (?B)
        (and
            (instance ?B Exhaling)
            (agent ?B ?A)
            (subProcess ?B ?M))))
Music.kif 1205-1215


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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