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
Le nombre 1 argument de
physicalAmplitude
est une
instance
de
Tremor
(
domain
physicalAmplitude
2
LengthMeasure
)
Cars.kif 732-732
Le nombre 2 argument de
physicalAmplitude
est une
instance
de
mesure de longueur
(
instance
physicalAmplitude
BinaryPredicate
)
Cars.kif 730-730
physicalAmplitude
est une
instance
de
pr�dicat binaire
(
instance
physicalAmplitude
SpatialRelation
)
Cars.kif 729-729
physicalAmplitude
est une
instance
de
relation spatial
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
nombre r�el
nombre r�el
est
plus
grand
que 0
interval temporel
est une
instance
de
Tremor
PhysicalSystem
est un
patient
de
interval temporel
entit�
est une
instance
de
UnitOfLength
physicalAmplitude
interval temporel
and
nombre r�el
entit�
(s)
pendant
interval temporel
1
physicalAmplitude
interval temporel
and
nombre r�el
entit�
(s)
pendant
interval temporel
2
interval temporel
1 prend place
pendant
interval temporel
interval temporel
2 prend place
pendant
interval temporel
interval temporel
1 arrive
plus
t�t que
interval temporel
2
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Processus
est une
instance
de
d�palcement
processus
est une
instance
de
Tremor
objet
est une
instance
de
Damper
objet
est un
patient
de
processus
objet
est une
partie
de
objet
processus
cause
processus
entit�
est une
instance
de
UnitOfLength
physicalAmplitude
processus
and
nombre r�el
entit�
(s)
pendant
temps
d'existence de
processus
physicalAmplitude
processus
and
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
entit�
est un
patient
de
Tremor
physique
physique
,
Tremor
1,
Tremor
2 and
nombre r�el
2
Tremor
1 prend place
pendant
temps
d'existence de
Tremor
Tremor
2 prend place
pendant
temps
d'existence de
Tremor
entit�
est
situ
� �
physique
pendant
Tremor
1
entit�
est
situ
� �
physique
pendant
Tremor
2 la
distance
entre
physique
et
physique
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
plus
grand
que
nombre r�el
(=>
(
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
mesure de longueur
entit�
est un
patient
de
Tremor
physique
physique
,
Tremor
1 and
Tremor
2
Tremor
1 prend place
pendant
temps
d'existence de
Tremor
Tremor
2 prend place
pendant
temps
d'existence de
Tremor
entit�
est
situ
� �
physique
pendant
Tremor
1
entit�
est
situ
� �
physique
pendant
Tremor
2 la
distance
entre
physique
et
physique
est
mesure de longueur
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