Decibel(dB(A)) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7456-7460 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7454-7454 | DB(A) is an instance of sound pressure level unit |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7462-7462 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7477-7477 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7476-7476 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7461-7461 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1783-1787 | A human can hear frequency of -10 dB(A)(s) at 15 dB(A)(s) decibels if and only if normal hearing sensitivity is an attribute of the human |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1794-1798 | A human can hear frequency of 16 dB(A)(s) at 25 dB(A)(s) decibels if and only if borderline hearing sensitivity is an attribute of the human |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1805-1809 | A human can hear frequency of 26 dB(A)(s) at 40 dB(A)(s) decibels if and only if mild hearing loss is an attribute of the human |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1815-1819 | A human can hear frequency of 41 dB(A)(s) at 55 dB(A)(s) decibels if and only if moderate hearing loss is an attribute of the human |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1826-1830 | A human can hear frequency of 56 dB(A)(s) at 70 dB(A)(s) decibels if and only if moderately severe hearing loss is an attribute of the human |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1837-1841 | A human can hear frequency of 71 dB(A)(s) at 90 dB(A)(s) decibels if and only if severe hearing loss is an attribute of the human |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1848-1852 | A human can hear frequency of 91 dB(A)(s) at 200 dB(A)(s) decibels if and only if profound hearing loss is an attribute of the human |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1753-1773 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1753-1773 |
|