TreeView Knowledge Base Browser - hearingAcuity

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

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	域 hearingAcuity, 1 and Human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1737-1737	域 hearingAcuity, 2 and ConstantQuantity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1738-1738	域 hearingAcuity, 3 and ConstantQuantity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1735-1735	例 hearingAcuity and BinaryPredicate

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	hearingAcuity Human, 測量 -10 and Decibel and 測量 15 and Decibel attribute Human and NormalHearingSensitivity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1794-1798	hearingAcuity Human, 測量 16 and Decibel and 測量 25 and Decibel attribute Human and BorderlineHearingSensitivity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1805-1809	hearingAcuity Human, 測量 26 and Decibel and 測量 40 and Decibel attribute Human and MildHearingLoss
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1815-1819	hearingAcuity Human, 測量 41 and Decibel and 測量 55 and Decibel attribute Human and ModerateHearingLoss
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1826-1830	hearingAcuity Human, 測量 56 and Decibel and 測量 70 and Decibel attribute Human and ModeratelySevereHearingLoss
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1837-1841	hearingAcuity Human, 測量 71 and Decibel and 測量 90 and Decibel attribute Human and SevereHearingLoss
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1848-1852	hearingAcuity Human, 測量 91 and Decibel and 測量 200 and Decibel attribute Human and ProfoundHearingLoss
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1740-1744	hearingAcuity Human, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and SoundPressureLevelUnit

consequent

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 1753-1773

例音調 and 音調音調的 frequency 是測量 RealNumber and 赫茲 loudness 音調 and 測量 RealNumber and Decibel 位於音調 and 哪裡 Human and 開始何時音調比較多 RealNumber and RealNumber 比較多 RealNumber and RealNumber 比較多 RealNumber and 250 比較多 8000 and RealNumber 例 Human and Human 例 Process and 聽 agent Process and Human
hearingAcuity Human, 測量 RealNumber and Decibel and 測量 RealNumber and Decibel

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

Show without tree

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