Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Decibel
Decibel(dB(A))

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


(instance Decibel SoundPressureLevelUnit) Merge.kif 7592-7592 DB(A) is an instance of sound pressure level unit
(documentation Decibel EnglishLanguage "The decibel (symbol: dB) is a relative unit of measurement equal to one tenth of a bel (B). It expresses the ratio of two values of a power or root-power quantity on a logarithmic scale. Two signals whose levels differ by one decibel have a power ratio of 101/ 10 (approximately 1.26) or root-power ratio of 101⁄20 (approximately 1.12).[from Wikipedia]") Merge.kif 7594-7598 DB(A) is an instance of sound pressure level unit

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


(termFormat EnglishLanguage Decibel "decibel") Merge.kif 7599-7599
(termFormat EnglishLanguage Decibel "dB") Merge.kif 7600-7600
(termFormat EnglishLanguage Decibel "decibel (A-weighting)") Merge.kif 7614-7614
(termFormat EnglishLanguage Decibel "dB(A)") Merge.kif 7615-7615

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 1737-1757 If All of the following hold: (1) X is an instance of musical tone (2) the frequency of X is Y hertz(s) (3) the sound of X is Z dB(A)(s) (4) X is located at the place where W was at the beginning of the time of existence of X (5) V is greater than Z (6) Z is greater than U (7) Y is greater than 250 (8) 8000 is greater than Y (9) W is an instance of human (10) T is an instance of listening (11) W is an agent of T, then W can hear frequency of V dB(A)(s) at U dB(A)(s) decibels
(<=>
    (hearingAcuity ?H
        (MeasureFn -10 Decibel)
        (MeasureFn 15 Decibel))
    (attribute ?H NormalHearingSensitivity))		 Medicine.kif 1767-1771 X can hear frequency of -10 dB(A)(s) at 15 dB(A)(s) decibels if and only if normal hearing sensitivity is an attribute of X
(<=>
    (hearingAcuity ?H
        (MeasureFn 16 Decibel)
        (MeasureFn 25 Decibel))
    (attribute ?H BorderlineHearingSensitivity))		 Medicine.kif 1778-1782 X can hear frequency of 16 dB(A)(s) at 25 dB(A)(s) decibels if and only if borderline hearing sensitivity is an attribute of X
(<=>
    (hearingAcuity ?H
        (MeasureFn 26 Decibel)
        (MeasureFn 40 Decibel))
    (attribute ?H MildHearingLoss))		 Medicine.kif 1789-1793 X can hear frequency of 26 dB(A)(s) at 40 dB(A)(s) decibels if and only if mild hearing loss is an attribute of X
(<=>
    (hearingAcuity ?H
        (MeasureFn 41 Decibel)
        (MeasureFn 55 Decibel))
    (attribute ?H ModerateHearingLoss))		 Medicine.kif 1799-1803 X can hear frequency of 41 dB(A)(s) at 55 dB(A)(s) decibels if and only if moderate hearing loss is an attribute of X
(<=>
    (hearingAcuity ?H
        (MeasureFn 56 Decibel)
        (MeasureFn 70 Decibel))
    (attribute ?H ModeratelySevereHearingLoss))		 Medicine.kif 1810-1814 X can hear frequency of 56 dB(A)(s) at 70 dB(A)(s) decibels if and only if moderately severe hearing loss is an attribute of X
(<=>
    (hearingAcuity ?H
        (MeasureFn 71 Decibel)
        (MeasureFn 90 Decibel))
    (attribute ?H SevereHearingLoss))		 Medicine.kif 1821-1825 X can hear frequency of 71 dB(A)(s) at 90 dB(A)(s) decibels if and only if severe hearing loss is an attribute of X
(<=>
    (hearingAcuity ?H
        (MeasureFn 91 Decibel)
        (MeasureFn 200 Decibel))
    (attribute ?H ProfoundHearingLoss))		 Medicine.kif 1832-1836 X can hear frequency of 91 dB(A)(s) at 200 dB(A)(s) decibels if and only if profound hearing loss is an attribute of X

consequent
-------------------------


(=>
    (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 1737-1757 If All of the following hold: (1) X is an instance of musical tone (2) the frequency of X is Y hertz(s) (3) the sound of X is Z dB(A)(s) (4) X is located at the place where W was at the beginning of the time of existence of X (5) V is greater than Z (6) Z is greater than U (7) Y is greater than 250 (8) 8000 is greater than Y (9) W is an instance of human (10) T is an instance of listening (11) W is an agent of T, then W can hear frequency of V dB(A)(s) at U dB(A)(s) decibels


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners