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 11466-11466
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Special_T_trumpet_overtone_series.png")	pictureList.kif 11467-11467
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Naxi_Musicians_I.jpg")	pictureList.kif 10134-10134
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ Tone_scale_a.jpg")	pictureList.kif 11468-11468
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Kvinta.png")	pictureList.kif 11464-11464
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ d/ db/ Sonido13WholeSixteenthTones.png")	pictureList.kif 11465-11465
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Music_on_top_of_Opera_Garnier_p1150815.jpg")	pictureList.kif 11461-11461
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Mozarteum_grosser_saal_buehne_mit_orchester.jpg")	pictureList.kif 11462-11462
(externalImage MusicalTone "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Claves.png")	pictureList.kif 11463-11463
(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 39435-39435
(termFormat ChineseTraditionalLanguage MusicalTone "音調")	domainEnglishFormat.kif 39434-39434
(termFormat EnglishLanguage MusicalTone "musical tone")	domainEnglishFormat.kif 39433-39433

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 1741-1761

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: