Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hearingAcuity
hearingAcuity

appearance as argument number 1
-------------------------


(documentation hearingAcuity EnglishLanguage "A Measuring of auditory acuity defined as the ability to hear frequencies from 250 to 8000 Hertz at a certain sound pressure level.") Medicine.kif 1742-1744
(domain hearingAcuity 1 Human) Medicine.kif 1729-1729
(domain hearingAcuity 2 ConstantQuantity) Medicine.kif 1730-1730
(domain hearingAcuity 3 ConstantQuantity) Medicine.kif 1731-1731
(instance hearingAcuity BinaryPredicate) Medicine.kif 1728-1728

appearance as argument number 2
-------------------------


(format EnglishLanguage hearingAcuity "%1 can hear frequency of %2 at %3 decibels") Medicine.kif 1740-1740
(termFormat EnglishLanguage hearingAcuity "visual acuity") Medicine.kif 1739-1739

antecedent
-------------------------


(<=>
    (hearingAcuity ?H
        (MeasureFn -10 Decibel)
        (MeasureFn 15 Decibel))
    (attribute ?H NormalHearingSensitivity))
Medicine.kif 1776-1780
(<=>
    (hearingAcuity ?H
        (MeasureFn 16 Decibel)
        (MeasureFn 25 Decibel))
    (attribute ?H BorderlineHearingSensitivity))
Medicine.kif 1787-1791
(<=>
    (hearingAcuity ?H
        (MeasureFn 26 Decibel)
        (MeasureFn 40 Decibel))
    (attribute ?H MildHearingLoss))
Medicine.kif 1798-1802
(<=>
    (hearingAcuity ?H
        (MeasureFn 41 Decibel)
        (MeasureFn 55 Decibel))
    (attribute ?H ModerateHearingLoss))
Medicine.kif 1808-1812
(<=>
    (hearingAcuity ?H
        (MeasureFn 56 Decibel)
        (MeasureFn 70 Decibel))
    (attribute ?H ModeratelySevereHearingLoss))
Medicine.kif 1819-1823
(<=>
    (hearingAcuity ?H
        (MeasureFn 71 Decibel)
        (MeasureFn 90 Decibel))
    (attribute ?H SevereHearingLoss))
Medicine.kif 1830-1834
(<=>
    (hearingAcuity ?H
        (MeasureFn 91 Decibel)
        (MeasureFn 200 Decibel))
    (attribute ?H ProfoundHearingLoss))
Medicine.kif 1841-1845
(=>
    (hearingAcuity ?H
        (MeasureFn ?N1 ?U)
        (MeasureFn ?N2 ?U))
    (instance ?U SoundPressureLevelUnit))
Medicine.kif 1733-1737

consequent
-------------------------


(=>
    (and
        (instance ?MT MusicalTone)
        (soundFrequency ?MT
            (MeasureFn ?FREQ Hertz))
        (loudness ?MT
            (MeasureFn ?LLB Decibel))
        (located ?MT
            (WhereFn ?H
                (BeginFn
                    (WhenFn ?MT))))
        (greaterThan ?LLIMIT ?LLB)
        (greaterThan ?LLB ?ULIMIT)
        (greaterThan ?FREQ 250)
        (greaterThan 8000 ?FREQ)
        (instance ?H Human)
        (instance ?L Listening)
        (agent ?L ?H))
    (hearingAcuity ?H
        (MeasureFn ?LLIMIT Decibel)
        (MeasureFn ?ULIMIT Decibel)))
Medicine.kif 1746-1766


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners