hearingAcuity |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1749-1751 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1736-1736 | The number 1 argument of visual acuity is an instance of human |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1737-1737 | The number 2 argument of visual acuity is an instance of constant quantity |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1738-1738 | The number 3 argument of visual acuity is an instance of constant quantity |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1735-1735 | visual acuity is an instance of binary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1747-1747 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1746-1746 |
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 1740-1744 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1753-1773 |
|