Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
The number 1 argument of
visual acuity
is an
instance
of
human
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1737-1737
The number 2 argument of
visual acuity
is an
instance
of
constant quantity
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1738-1738
The number 3 argument of
visual acuity
is an
instance
of
constant quantity
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1735-1735
visual acuity
is an
instance
of
binary predicate
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
A human
can hear frequency of -10
dB(A)
(s) at 15
dB(A)
(s) decibels if and only if
normal hearing sensitivity
is an
attribute
of
the human
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1794-1798
A human
can hear frequency of 16
dB(A)
(s) at 25
dB(A)
(s) decibels if and only if
borderline hearing sensitivity
is an
attribute
of
the human
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1805-1809
A human
can hear frequency of 26
dB(A)
(s) at 40
dB(A)
(s) decibels if and only if
mild hearing loss
is an
attribute
of
the human
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1815-1819
A human
can hear frequency of 41
dB(A)
(s) at 55
dB(A)
(s) decibels if and only if
moderate hearing loss
is an
attribute
of
the human
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1826-1830
A human
can hear frequency of 56
dB(A)
(s) at 70
dB(A)
(s) decibels if and only if
moderately severe hearing loss
is an
attribute
of
the human
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1837-1841
A human
can hear frequency of 71
dB(A)
(s) at 90
dB(A)
(s) decibels if and only if
severe hearing loss
is an
attribute
of
the human
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1848-1852
A human
can hear frequency of 91
dB(A)
(s) at 200
dB(A)
(s) decibels if and only if
profound hearing loss
is an
attribute
of
the human
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1740-1744
If
a human
can hear frequency of
a real number
an unit of measure
(s) at
another real number
the unit of measure
(s) decibels,
then
the unit of measure
is an
instance
of
sound pressure level unit
consequent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1753-1773
If
a musical tone
is an
instance
of
musical tone
and the
frequency
of
the musical tone
is
a real number
hertz
(s) and the
sound
of
the musical tone
is
another real number
dB(A)
(s) and
the musical tone
is
located
at the place
where
a human
was at the
beginning
of the
time
of existence of
the musical tone
and
a third real number
is
greater
than
the other real number
and
the other real number
is
greater
than
a fourth real number
and
the real number
is
greater
than 250 and 8000 is
greater
than
the real number
and
the human
is an
instance
of
human
and
a process
is an
instance
of
listening
and
the human
is an
agent
of
the process
,
then
the human
can hear frequency of
the third real number
dB(A)
(s) at
the fourth real number
dB(A)
(s) decibels
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