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
soundFrequency
Sigma KEE - soundFrequency
soundFrequency
appearance as argument number 1
(
documentation
soundFrequency
EnglishLanguage
"A relation between a
Process
of
MusicalTone
and the fundamental frequency of that tone.")
Mid-level-ontology.kif 768-769
(
domain
soundFrequency
1
MusicalTone
)
Mid-level-ontology.kif 770-770
The number 1 argument of
sound frequency
is an
instance
of
musical tone
(
domain
soundFrequency
2
FunctionQuantity
)
Mid-level-ontology.kif 771-771
The number 2 argument of
sound frequency
is an
instance
of
function quantity
(
instance
soundFrequency
BinaryPredicate
)
Mid-level-ontology.kif 767-767
sound frequency
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
soundFrequency
"%1 的
frequency
是 %2 ")
domainEnglishFormat.kif 4586-4586
(
format
ChineseTraditionalLanguage
soundFrequency
"%1 的
frequency
是 %2 ")
domainEnglishFormat.kif 4585-4585
(
format
EnglishLanguage
soundFrequency
"the
frequency
of %1 is %2")
domainEnglishFormat.kif 4584-4584
(
termFormat
ChineseLanguage
soundFrequency
"声音频率")
domainEnglishFormat.kif 54008-54008
(
termFormat
ChineseTraditionalLanguage
soundFrequency
"聲音頻率")
domainEnglishFormat.kif 54007-54007
(
termFormat
EnglishLanguage
soundFrequency
"sound frequency")
domainEnglishFormat.kif 54006-54006
antecedent
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
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