SoundPressureLevelUnit(sound pressure level unit) |
appearance as argument number 1 |
(documentation SoundPressureLevelUnit EnglishLanguage "The Class of all UnitOfMeasure that measure a sound pressure level.") | Merge.kif 7451-7452 | |
(subclass SoundPressureLevelUnit UnitOfMeasure) | Merge.kif 7450-7450 | Sound pressure level unit is a subclass of unit of measure |
appearance as argument number 2 |
(instance Decibel SoundPressureLevelUnit) | Merge.kif 7455-7455 | DB(A) is an instance of sound pressure level unit |
(instance DecibelA SoundPressureLevelUnit) | Merge.kif 7465-7465 | Decibel a-weighted is an instance of sound pressure level unit |
(termFormat EnglishLanguage SoundPressureLevelUnit "sound pressure level unit") | Merge.kif 7453-7453 | Decibel a-weighted is an instance of sound pressure level unit |
consequent |
(=> (hearingAcuity ?H (MeasureFn ?N1 ?U) (MeasureFn ?N2 ?U)) (instance ?U SoundPressureLevelUnit)) |
Medicine.kif 1740-1744 |
|