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 引数は
Tremor
の
instance
では %n
(
domain
physicalAmplitude
2
LengthMeasure
)
Cars.kif 732-732
physicalAmplitude
の数値 2 引数は
長さ測定
の
instance
では %n
(
instance
physicalAmplitude
BinaryPredicate
)
Cars.kif 730-730
physicalAmplitude
は
2進述語
の
instance
では %n
(
instance
physicalAmplitude
SpatialRelation
)
Cars.kif 729-729
physicalAmplitude
は
空間的関係
の
instance
では %n
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
PhysicalSystem
and
実数
実数
は 0 より
greater
では %n
時間間隔
は
Tremor
の
instance
では %n
PhysicalSystem
は
時間間隔
の
patient
では %n
エンティティー
は
UnitOfLength
の
instance
では %n
physicalAmplitude
時間間隔
and
実数
の
エンティティー
(s) は
時間間隔
1 の
during
holds %n{ない}
physicalAmplitude
時間間隔
and
実数
の
エンティティー
(s) は
時間間隔
2 の
during
holds %n{ない}
時間間隔
1 は
時間間隔
の
during
に takes %n{ない}
時間間隔
2 は
時間間隔
の
during
に takes %n{ない}
時間間隔
1 は
時間間隔
2 より
earlier
happens %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
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
工程
は
motion
の
instance
では %n
工程
は
Tremor
の
instance
では %n
オブジェクト
は
Damper
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
工程
を
cause
s %n{ない}
エンティティー
は
UnitOfLength
の
instance
では %n
physicalAmplitude
工程
and
実数
の
エンティティー
(s) は
工程
の
time
の existence の
during
holds %n{ない}
physicalAmplitude
工程
and
実数
の
エンティティー
(s) は
工程
の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
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
Tremor
and
実数
の
測定単位
(s)
測定単位
は
UnitOfLength
の
instance
では %n
エンティティー
は
Tremor
の
patient
では %n
物理
物理
,
Tremor
1,
Tremor
2 and
実数
2
Tremor
1 は
Tremor
の
time
の existence の
during
に takes %n{ない}
Tremor
2 は
Tremor
の
time
の existence の
during
に takes %n{ない}
エンティティー
は
物理
に
located
して %n は
Tremor
1 の
during
holds %n{ない}
エンティティー
は
物理
に
located
して %n は
Tremor
2 の
during
holds %n{ない}
物理
と
物理
の
distance
は
実数
2 の
測定単位
(s) では %n
実数
2 は
実数
より
greater
では %n
(=>
(
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
Tremor
and
長さ測定
エンティティー
は
Tremor
の
patient
では %n
物理
物理
,
Tremor
1 and
Tremor
2
Tremor
1 は
Tremor
の
time
の existence の
during
に takes %n{ない}
Tremor
2 は
Tremor
の
time
の existence の
during
に takes %n{ない}
エンティティー
は
物理
に
located
して %n は
Tremor
1 の
during
holds %n{ない}
エンティティー
は
物理
に
located
して %n は
Tremor
2 の
during
holds %n{ない}
物理
と
物理
の
distance
は
長さ測定
では %n
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