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
dampingRatio
Sigma KEE - dampingRatio
dampingRatio
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Cars.kif 798-807
No TPTP formula. May not be expressible in strict first order.
Cars.kif 795-795
The number 1 argument of
damping ratio
is an
instance
of
physical system
No TPTP formula. May not be expressible in strict first order.
Cars.kif 796-796
The number 2 argument of
damping ratio
is an
instance
of
real number
No TPTP formula. May not be expressible in strict first order.
Cars.kif 794-794
damping ratio
is an
instance
of
binary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Cars.kif 797-797
No TPTP formula. May not be expressible in strict first order.
Cars.kif 834-834
resonant frequency
is
internally
related to
damping ratio
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 65803-65803
antecedent
No TPTP formula. May not be expressible in strict first order.
Cars.kif 809-825
If the damping ratio of
a physical system
is
a real number
and
the real number
is
greater
than 0 and
a time interval
is an
instance
of
tremor
and
the physical system
is a
patient
of
the time interval
and
an entity
is an
instance
of
unit of length
and the amplitude
the time interval
is
another real number
the entity
(s) holds
during
the time interval
1 and the amplitude
the time interval
is
a third real number
the entity
(s) holds
during
the time interval
2 and
the time interval
1 takes place
during
the time interval
and
the time interval
2 takes place
during
the time interval
and
the time interval
1 happens
earlier
than
the time interval
2,
then
the other real number
is
greater
than
the third real number
No TPTP formula. May not be expressible in strict first order.
Cars.kif 853-866
If
a physical system
is an
instance
of
automobile
and
another physical system
is an
instance
of
automobile
and
an object
is an
instance
of
shock
and
the object
is a
part
of
the physical system
and there doesn't exist
another object
such that
the other object
is an
instance
of
shock
and
the other object
is a
part
of
the other physical system
and the damping ratio of
the physical system
is
a real number
and the damping ratio of
the other physical system
is
another real number
,
then
the other real number
is
greater
than
the real number
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