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
Die Zahl 1 Argument von
physicalAmplitude
ist ein
fall
von
Tremor
%n{nicht}
(
domain
physicalAmplitude
2
LengthMeasure
)
Cars.kif 732-732
Die Zahl 2 Argument von
physicalAmplitude
ist ein
fall
von
LengthMeasure
%n{nicht}
(
instance
physicalAmplitude
BinaryPredicate
)
Cars.kif 730-730
physicalAmplitude
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
physicalAmplitude
SpatialRelation
)
Cars.kif 729-729
physicalAmplitude
ist ein
fall
von
SpatialRelation
%n{nicht}
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
Wenn
dampingRatio
PhysicalSystem
and
RealNumber
und
** RealNumber
ist
groesserAls
0 %n{nicht} und
TimeInterval
ist ein
fall
von
Tremor
%n{nicht} und
** PhysicalSystem
ist ein
patient
von
** TimeInterval
%n{nicht} und
Entity
ist ein
fall
von
UnitOfLength
%n{nicht} und
physicalAmplitude
** TimeInterval
and
** RealNumber
** Entity
(s) haelt
waehrend
** TimeInterval
1 %n{nicht} und
physicalAmplitude
** TimeInterval
and
** RealNumber
** Entity
(s) haelt
waehrend
** TimeInterval
2 %n{nicht} und
** TimeInterval
1 geschieht
waehrend
** TimeInterval
%n{nicht} und
** TimeInterval
2 geschieht
waehrend
** TimeInterval
%n{nicht} und
** TimeInterval
1 geschieht frueh als
** TimeInterval
2 %n{nicht},
dann
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Motion
%n{nicht} und
** Process
ist ein
fall
von
Tremor
%n{nicht} und
Object
ist ein
fall
von
Damper
%n{nicht} und
** Object
ist ein
patient
von
** ** Process
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht} und
Entity
ist ein
fall
von
UnitOfLength
%n{nicht} und
physicalAmplitude
** ** Process
and
RealNumber
** Entity
(s) haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} und
physicalAmplitude
** ** Process
and
** RealNumber
** Entity
(s) haelt
waehrend
sofort
nach
** Process
%n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
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
Wenn
physicalAmplitude
Tremor
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
Entity
ist ein
patient
von
** Tremor
%n{nicht},
dann es gibt nicht
Physical
,
** Physical
,, ,
** Tremor
1,, ,
** Tremor
2, and und
** RealNumber
2 um
** Tremor
1 geschieht
waehrend
die
zeit
des Bestehens von
** Tremor
%n{nicht} und
** Tremor
2 geschieht
waehrend
die
zeit
des Bestehens von
** Tremor
%n{nicht} und
** Entity
befindet
sich an %n{nicht} haelt
waehrend
** Tremor
1 %n{nicht} und
** Entity
befindet
sich an %n{nicht} haelt
waehrend
** Tremor
2 %n{nicht} und der
abstand
zwischen
** Physical
und
** ** Physical
ist
** RealNumber
2
** UnitOfMeasure
(s) und
** RealNumber
2 ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
physicalAmplitude
Tremor
and
LengthMeasure
und
Entity
ist ein
patient
von
** Tremor
%n{nicht},
dann es gibt
Physical
,
** Physical
,, ,
** Tremor
1, and und
** Tremor
2 um
** Tremor
1 geschieht
waehrend
die
zeit
des Bestehens von
** Tremor
%n{nicht} und
** Tremor
2 geschieht
waehrend
die
zeit
des Bestehens von
** Tremor
%n{nicht} und
** Entity
befindet
sich an %n{nicht} haelt
waehrend
** Tremor
1 %n{nicht} und
** Entity
befindet
sich an %n{nicht} haelt
waehrend
** Tremor
2 %n{nicht} und der
abstand
zwischen
** Physical
und
** ** Physical
ist
** 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