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
physicalAmplitude
Sigma KEE - physicalAmplitude
physicalAmplitude
appearance as argument number 1
(
documentation
physicalAmplitude
EnglishLanguage
"A relation between a periodic motion and the distance between the physical extremes of the period.")
Cars.kif 734-735
(
domain
physicalAmplitude
1
Tremor
)
Cars.kif 731-731
域
physicalAmplitude
, 1 and
震
(
domain
physicalAmplitude
2
LengthMeasure
)
Cars.kif 732-732
域
physicalAmplitude
, 2 and
LengthMeasure
(
instance
physicalAmplitude
BinaryPredicate
)
Cars.kif 730-730
例
physicalAmplitude
and
BinaryPredicate
(
instance
physicalAmplitude
SpatialRelation
)
Cars.kif 729-729
例
physicalAmplitude
and
SpatialRelation
appearance as argument number 2
(
format
EnglishLanguage
physicalAmplitude
"the amplitude %1 is %n %2")
Cars.kif 733-733
(
termFormat
EnglishLanguage
physicalAmplitude
"physical amplitude")
domainEnglishFormat.kif 65898-65898
antecedent
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
dampingRatio
物理系統
and
RealNumber
比較多
RealNumber
and 0
例
TimeInterval
and
震
患者
TimeInterval
and
物理系統
例
Entity
and
UnitOfLength
持有期間
TimeInterval
and
physicalAmplitude
TimeInterval
and
測量
RealNumber
and
Entity
持有期間
TimeInterval
and
physicalAmplitude
TimeInterval
and
測量
RealNumber
and
Entity
期間
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
例
Process
and
Motion
例
Process
and
震
例
Object
and
Damper
患者
Process
and
Object
部分
Object
and
Object
原因
Process
and
Process
例
Entity
and
UnitOfLength
持有期間
何時
Process
and
physicalAmplitude
Process
and
測量
RealNumber
and
Entity
持有期間
眼前的未來
Process
and
physicalAmplitude
Process
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
physicalAmplitude
?T
(
MeasureFn
?L ?U))
(
instance
?U
UnitOfLength
)
(
patient
?T ?O))
(
not
(
exists
(?P1 ?P2 ?T1 ?T2 ?L2)
(
and
(
during
?T1
(
WhenFn
?T))
(
during
?T2
(
WhenFn
?T))
(
holdsDuring
?T1
(
located
?O ?P1))
(
holdsDuring
?T2
(
located
?O ?P2))
(
distance
?P1 ?P2
(
MeasureFn
?L2 ?U))
(
greaterThan
?L2 ?L)))))
Cars.kif 751-768
physicalAmplitude
震
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfLength
患者
震
and
Entity
Physical
Physical
,
震
,
震
and
RealNumber
期間
震
and
何時
震
期間
震
and
何時
震
持有期間
震
and
位於
Entity
and
Physical
持有期間
震
and
位於
Entity
and
Physical
距離
Physical
,
Physical
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
physicalAmplitude
?T ?L)
(
patient
?T ?O))
(
exists
(?P1 ?P2 ?T1 ?T2)
(
and
(
during
?T1
(
WhenFn
?T))
(
during
?T2
(
WhenFn
?T))
(
holdsDuring
?T1
(
located
?O ?P1))
(
holdsDuring
?T2
(
located
?O ?P2))
(
distance
?P1 ?P2 ?L))))
Cars.kif 737-749
physicalAmplitude
震
and
LengthMeasure
患者
震
and
Entity
Physical
Physical
,
震
and
震
期間
震
and
何時
震
期間
震
and
何時
震
持有期間
震
and
位於
Entity
and
Physical
持有期間
震
and
位於
Entity
and
Physical
距離
Physical
,
Physical
and
LengthMeasure
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