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 7460-7461 | |
(subclass SoundPressureLevelUnit UnitOfMeasure) | Merge.kif 7459-7459 | Sound pressure level unit is a subclass of unit of measure |
appearance as argument number 2 |
![]() |
(instance Decibel SoundPressureLevelUnit) | Merge.kif 7464-7464 | DB(A) is an instance of sound pressure level unit |
(instance DecibelA SoundPressureLevelUnit) | Merge.kif 7474-7474 | Decibel a_weighted is an instance of sound pressure level unit |
(termFormat EnglishLanguage SoundPressureLevelUnit "sound pressure level unit") | Merge.kif 7462-7462 | 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 1728-1732 |
|
![]() |
![]() |