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 hearingAcuity 的 1 数量 是 人类 的 instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1737-1737 hearingAcuity 的 2 数量 是 恒量 的 instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1738-1738 hearingAcuity 的 3 数量 是 恒量 的 instance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1735-1735 hearingAcuity 是 二元谓语 的 instance

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 人类, -10 Decibel and 15 Decibel 若且唯若 NormalHearingSensitivity 是 那个 人类 的 attribute
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1794-1798 hearingAcuity 人类, 16 Decibel and 25 Decibel 若且唯若 BorderlineHearingSensitivity 是 那个 人类 的 attribute
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1805-1809 hearingAcuity 人类, 26 Decibel and 40 Decibel 若且唯若 MildHearingLoss 是 那个 人类 的 attribute
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1815-1819 hearingAcuity 人类, 41 Decibel and 55 Decibel 若且唯若 ModerateHearingLoss 是 那个 人类 的 attribute
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1826-1830 hearingAcuity 人类, 56 Decibel and 70 Decibel 若且唯若 ModeratelySevereHearingLoss 是 那个 人类 的 attribute
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1837-1841 hearingAcuity 人类, 71 Decibel and 90 Decibel 若且唯若 SevereHearingLoss 是 那个 人类 的 attribute
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1848-1852 hearingAcuity 人类, 91 Decibel and 200 Decibel 若且唯若 ProfoundHearingLoss 是 那个 人类 的 attribute
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


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