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 7479-7480 | |
(subclass SoundPressureLevelUnit UnitOfMeasure) | Merge.kif 7478-7478 | Sound pressure level unit is a subclass of unit of measure |
appearance as argument number 2 |
![]() |
(instance Decibel SoundPressureLevelUnit) | Merge.kif 7483-7483 | DB(A) is an instance of sound pressure level unit |
(instance DecibelA SoundPressureLevelUnit) | Merge.kif 7493-7493 | Decibel a_weighted is an instance of sound pressure level unit |
(termFormat EnglishLanguage SoundPressureLevelUnit "sound pressure level unit") | Merge.kif 7481-7481 | 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 1733-1737 |
|
![]() |
![]() |