MusicalTone - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MusicalTone EnglishLanguage "A Process of RadiatingSound where the sound has a fundamental frequency and 0 or more partial frequencies or unrelated transients or noise components that have a lesser amplitude than the fundamental.")	Mid-level-ontology.kif 758-761
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Klaviatura.png")	pictureList.kif 11473-11473
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Special-T_trumpet_overtone_series.png")	pictureList.kif 11474-11474
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Naxi_Musicians_I.jpg")	pictureList.kif 10136-10136
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ Tone_scale_a.jpg")	pictureList.kif 11475-11475
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Kvinta.png")	pictureList.kif 11471-11471
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ d/ db/ Sonido13WholeSixteenthTones.png")	pictureList.kif 11472-11472
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Music_on_top_of_Opera_Garnier_p1150815.jpg")	pictureList.kif 11468-11468
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Mozarteum_grosser_saal_buehne_mit_orchester.jpg")	pictureList.kif 11469-11469
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Claves.png")	pictureList.kif 11470-11470
(subclass MusicalTone RadiatingSound)	Mid-level-ontology.kif 757-757	Musical tone is a subclass of radiating sound

appearance as argument number 2

(termFormat ChineseLanguage MusicalTone "音调")	domainEnglishFormat.kif 39443-39443
(termFormat ChineseTraditionalLanguage MusicalTone "音調")	domainEnglishFormat.kif 39442-39442
(termFormat EnglishLanguage MusicalTone "musical tone")	domainEnglishFormat.kif 39441-39441

appearance as argument number 3

(domain soundFrequency 1 MusicalTone)

Mid-level-ontology.kif 770-770

The number 1 argument of sound frequency is an instance of musical tone

antecedent

(=>
    (and
        (instance ?MT MusicalTone)
        (soundFrequency ?MT
            (MeasureFn ?FREQ Hertz))
        (loudness ?MT
            (MeasureFn ?LLB Decibel))
        (located ?MT
            (WhereFn ?H
                (BeginFn
                    (WhenFn ?MT))))
        (greaterThan ?LLIMIT ?LLB)
        (greaterThan ?LLB ?ULIMIT)
        (greaterThan ?FREQ 250)
        (greaterThan 8000 ?FREQ)
        (instance ?H Human)
        (instance ?L Listening)
        (agent ?L ?H))
    (hearingAcuity ?H
        (MeasureFn ?LLIMIT Decibel)
        (MeasureFn ?ULIMIT Decibel)))

Medicine.kif 1753-1773

If a musical tone is an instance of musical tone and the frequency of the musical tone is a real number hertz(s) and the sound of the musical tone is another real number dB(A)(s) and the musical tone is located at the place where a human was at the beginning of the time of existence of the musical tone and a third real number is greater than the other real number and the other real number is greater than a fourth real number and the real number is greater than 250 and 8000 is greater than the real number and the human is an instance of human and a process is an instance of listening and the human is an agent of the process,
then the human can hear frequency of the third real number dB(A)(s) at the fourth real number dB(A)(s) decibels

consequent

(=>
    (and
        (instance ?B Bell)
        (instance ?I Impacting)
        (destination ?I ?B))
    (exists (?MT)
        (and
            (instance ?MT MusicalTone)
            (causes ?I ?MT))))

Music.kif 1256-1264

If an entity is an instance of bell and a process is an instance of impacting and the process ends up at the entity,
then there exists another process such that the other process is an instance of musical tone and the process causes the other process

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

KB Term:			Term intersection

English Word: