TreeView Knowledge Base Browser

appearance as argument number 1

(documentation soundFrequency EnglishLanguage "A relation between a Process of MusicalTone and the fundamental frequency of that tone.")	Mid-level-ontology.kif 768-769
(domain soundFrequency 1 MusicalTone)	Mid-level-ontology.kif 770-770	域聲音頻率, 1 and 音調
(domain soundFrequency 2 FunctionQuantity)	Mid-level-ontology.kif 771-771	域聲音頻率, 2 and FunctionQuantity
(instance soundFrequency BinaryPredicate)	Mid-level-ontology.kif 767-767	例聲音頻率 and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage soundFrequency "%1 的 frequency 是 %2 ")	domainEnglishFormat.kif 4586-4586
(format ChineseTraditionalLanguage soundFrequency "%1 的 frequency 是 %2 ")	domainEnglishFormat.kif 4585-4585
(format EnglishLanguage soundFrequency "the frequency of %1 is %2")	domainEnglishFormat.kif 4584-4584
(termFormat ChineseLanguage soundFrequency "声音频率")	domainEnglishFormat.kif 54008-54008
(termFormat ChineseTraditionalLanguage soundFrequency "聲音頻率")	domainEnglishFormat.kif 54007-54007
(termFormat EnglishLanguage soundFrequency "sound frequency")	domainEnglishFormat.kif 54006-54006

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 1753-1773