TreeView 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