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

Formal Language: 



KB Term:  Term intersection
English Word: 

  hearingAcuity

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 Le nombre 1 argument de hearingAcuity est une instance de humain
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1737-1737 Le nombre 2 argument de hearingAcuity est une instance de quantit� constante
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1738-1738 Le nombre 3 argument de hearingAcuity est une instance de quantit� constante
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1735-1735 hearingAcuity est une instance de pr�dicat binaire

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 humain, -10 Decibel(s) and 15 Decibel(s) NormalHearingSensitivity est un attribut de humain
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1794-1798 hearingAcuity humain, 16 Decibel(s) and 25 Decibel(s) BorderlineHearingSensitivity est un attribut de humain
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1805-1809 hearingAcuity humain, 26 Decibel(s) and 40 Decibel(s) MildHearingLoss est un attribut de humain
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1815-1819 hearingAcuity humain, 41 Decibel(s) and 55 Decibel(s) ModerateHearingLoss est un attribut de humain
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1826-1830 hearingAcuity humain, 56 Decibel(s) and 70 Decibel(s) ModeratelySevereHearingLoss est un attribut de humain
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1837-1841 hearingAcuity humain, 71 Decibel(s) and 90 Decibel(s) SevereHearingLoss est un attribut de humain
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1848-1852 hearingAcuity humain, 91 Decibel(s) and 200 Decibel(s) ProfoundHearingLoss est un attribut de humain
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1740-1744

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