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
loudness
Sigma KEE - loudness
loudness
appearance as argument number 1
(
domain
loudness
1
RadiatingSound
)
Mid-level-ontology.kif 13755-13755
域
loudness
, 1 and
RadiatingSound
(
domain
loudness
2
ConstantQuantity
)
Mid-level-ontology.kif 13756-13756
域
loudness
, 2 and
ConstantQuantity
(
instance
loudness
BinaryPredicate
)
Mid-level-ontology.kif 13753-13753
例
loudness
and
BinaryPredicate
(
subrelation
loudness
measure
)
Mid-level-ontology.kif 13754-13754
子關係
loudness
and
測量
appearance as argument number 2
(
format
EnglishLanguage
loudness
"the sound of %1 is %2")
Mid-level-ontology.kif 13757-13757
(
termFormat
EnglishLanguage
loudness
"loudness")
Mid-level-ontology.kif 13758-13758
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
例
音調
and
音調
音調
的
frequency
是
測量
RealNumber
and
赫茲
loudness
音調
and
測量
RealNumber
and
Decibel
位於
音調
and
哪裡
Human
and
開始
何時
音調
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and 250
比較多
8000 and
RealNumber
例
Human
and
Human
例
Process
and
聽
agent
Process
and
Human
hearingAcuity
Human
,
測量
RealNumber
and
Decibel
and
測量
RealNumber
and
Decibel
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