TreeView Knowledge Base Browser

appearance as argument number 1

(subclass WindInstrument MusicalInstrument)	Music.kif 1202-1202	Wind instrument is a subclass of musical instrument
(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 1203-1205	Wind instrument is a subclass of musical instrument
(externalImage WindInstrument "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Saxophone_alto.jpg")	pictureList.kif 4852-4852	Wind instrument is a subclass of musical instrument

appearance as argument number 2

(subclass Clarinet WindInstrument)	Music.kif 1293-1293	Clarinet is a subclass of wind instrument
(subclass Flute WindInstrument)	Music.kif 1296-1296	Flute is a subclass of wind instrument
(subclass Oboe WindInstrument)	Music.kif 1299-1299	Oboe is a subclass of wind instrument
(subclass Saxophone WindInstrument)	Music.kif 1302-1302	Saxophone is a subclass of wind instrument
(termFormat EnglishLanguage WindInstrument "wind instrument")	domainEnglishFormat.kif 63106-63106	Saxophone is a subclass of wind instrument
(termFormat ChineseTraditionalLanguage WindInstrument "管樂器")	domainEnglishFormat.kif 63107-63107	Saxophone is a subclass of wind instrument
(termFormat ChineseLanguage WindInstrument "管乐器")	domainEnglishFormat.kif 63108-63108	Saxophone is a subclass of wind instrument

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))))

If X is an instance of wind instrument, Y is an instance of instrumental music, Z is an agent of Y, and X is an instrument for Y, then there exists W such that W is an instance of exhaling, Z is an agent of W, and W is a subprocess of Y