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
O argumento numero 1 de
dampingRatio
e' uma
instancia
de
PhysicalSystem
No TPTP formula. May not be expressible in strict first order.
Cars.kif 796-796
O argumento numero 2 de
dampingRatio
e' uma
instancia
de
Numero Real
No TPTP formula. May not be expressible in strict first order.
Cars.kif 794-794
dampingRatio
e' uma
instancia
de
Predicado Binario
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
resonantFrequency
e'
relacionado
internamente por SUMO a
dampingRatio
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
dampingRatio
PhysicalSystem
and
Numero Real
Numero Real
e'
maior
que 0
Intervalo Temporal
e' uma
instancia
de
Tremor
PhysicalSystem
e' um
patient
de
Intervalo Temporal
Entidade
e' uma
instancia
de
UnitOfLength
physicalAmplitude
Intervalo Temporal
and
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
1
physicalAmplitude
Intervalo Temporal
and
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
2
Intervalo Temporal
1 acontece
durante
Intervalo Temporal
Intervalo Temporal
2 acontece
durante
Intervalo Temporal
Intervalo Temporal
1 acontence
antes
de
Intervalo Temporal
2
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Cars.kif 853-866
PhysicalSystem
e' uma
instancia
de
Automobile
PhysicalSystem
e' uma
instancia
de
Automobile
Objeto
e' uma
instancia
de
AutomobileShock
Objeto
e' uma &parte de
PhysicalSystem
Objeto
Objeto
e' uma
instancia
de
AutomobileShock
Objeto
e' uma &parte de
PhysicalSystem
dampingRatio
PhysicalSystem
and
Numero Real
dampingRatio
PhysicalSystem
and
Numero Real
Numero Real
e'
maior
que
Numero Real
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