hearingAcuity |
appearance as argument number 1 |
(documentation hearingAcuity EnglishLanguage "A Measuring of auditory acuity defined as the ability to hear frequencies from 250 to 8000 Hertz at a certain sound pressure level.") | Medicine.kif 1749-1751 | |
(domain hearingAcuity 1 Human) | Medicine.kif 1736-1736 | hearingAcuity の数値 1 引数は 人[人間] の instance では %n |
(domain hearingAcuity 2 ConstantQuantity) | Medicine.kif 1737-1737 | hearingAcuity の数値 2 引数は 一定量 の instance では %n |
(domain hearingAcuity 3 ConstantQuantity) | Medicine.kif 1738-1738 | hearingAcuity の数値 3 引数は 一定量 の instance では %n |
(instance hearingAcuity BinaryPredicate) | Medicine.kif 1735-1735 | hearingAcuity は 2進述語 の instance では %n |
appearance as argument number 2 |
(format EnglishLanguage hearingAcuity "%1 can hear frequency of %2 at %3 decibels") | Medicine.kif 1747-1747 | |
(termFormat EnglishLanguage hearingAcuity "visual acuity") | Medicine.kif 1746-1746 |
antecedent |
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 1753-1773 |
|