loudness - Sigma Knowledge base Browser

appearance as argument number 2

(format EnglishLanguage loudness "the sound of %1 is %2")	Mid-level-ontology.kif 15325-15325
(termFormat EnglishLanguage loudness "loudness")	Mid-level-ontology.kif 15326-15326

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

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

(instance loudness BinaryPredicate)	Mid-level-ontology.kif 15321-15321	loudness is an instance of binary predicate
(subrelation loudness measure)	Mid-level-ontology.kif 15322-15322	loudness is a subrelation of measure
(domain loudness 1 RadiatingSound)	Mid-level-ontology.kif 15323-15323	The number 1 argument of loudness is an instance of radiating sound
(domain loudness 2 ConstantQuantity)	Mid-level-ontology.kif 15324-15324	The number 2 argument of loudness is an instance of constant quantity