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 O argumento numero 1 de hearingAcuity e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1737-1737 O argumento numero 2 de hearingAcuity e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1738-1738 O argumento numero 3 de hearingAcuity e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1735-1735 hearingAcuity e' uma instancia de Predicado Binario

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