soundFrequency - Sigma Knowledge base Browser

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 soundFrequency BinaryPredicate)	Mid-level-ontology.kif 757-757	sound frequency is an instance of binary predicate
(documentation soundFrequency EnglishLanguage "A relation between a Process of MusicalTone and the fundamental frequency of that tone.")	Mid-level-ontology.kif 758-759	sound frequency is an instance of binary predicate
(domain soundFrequency 1 MusicalTone)	Mid-level-ontology.kif 760-760	The number 1 argument of sound frequency is an instance of musical tone
(domain soundFrequency 2 FunctionQuantity)	Mid-level-ontology.kif 761-761	The number 2 argument of sound frequency is an instance of function quantity

(format EnglishLanguage soundFrequency "the frequency of %1 is %2")	domainEnglishFormat.kif 4588-4588
(format ChineseTraditionalLanguage soundFrequency "%1 的 frequency 是 %2 ")	domainEnglishFormat.kif 4589-4589
(format ChineseLanguage soundFrequency "%1 的 frequency 是 %2 ")	domainEnglishFormat.kif 4590-4590
(termFormat EnglishLanguage soundFrequency "sound frequency")	domainEnglishFormat.kif 54001-54001
(termFormat ChineseTraditionalLanguage soundFrequency "聲音頻率")	domainEnglishFormat.kif 54002-54002
(termFormat ChineseLanguage soundFrequency "声音频率")	domainEnglishFormat.kif 54003-54003