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
No TPTP formula. May not be expressible in strict first order.
Cars.kif 734-735
No TPTP formula. May not be expressible in strict first order.
Cars.kif 731-731
O argumento numero 1 de
physicalAmplitude
e' uma
instancia
de
Tremor
No TPTP formula. May not be expressible in strict first order.
Cars.kif 732-732
O argumento numero 2 de
physicalAmplitude
e' uma
instancia
de
Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.
Cars.kif 730-730
physicalAmplitude
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Cars.kif 729-729
physicalAmplitude
e' uma
instancia
de
Relacao Espacial
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Cars.kif 733-733
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 65900-65900
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 777-792
Processo
e' uma
instancia
de
Movimento
Processo
e' uma
instancia
de
Tremor
Objeto
e' uma
instancia
de
Damper
Objeto
e' um
patient
de
Processo
Objeto
e' uma &parte de
Objeto
Processo
causa
Processo
Entidade
e' uma
instancia
de
UnitOfLength
physicalAmplitude
Processo
and
Numero Real
Entidade
(s)
vale
durante
tempo
de existencia de
Processo
physicalAmplitude
Processo
and
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
Processo
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Cars.kif 751-768
physicalAmplitude
Tremor
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Entidade
e' um
patient
de
Tremor
Fisico
Fisico
,
Tremor
1,
Tremor
2 and
Numero Real
2
Tremor
1 acontece
durante
tempo
de existencia de
Tremor
Tremor
2 acontece
durante
tempo
de existencia de
Tremor
Entidade
e'
situado
em
Fisico
vale
durante
Tremor
1
Entidade
e'
situado
em
Fisico
vale
durante
Tremor
2 a
distancia
entre
Fisico
e
Fisico
e'
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Cars.kif 737-749
physicalAmplitude
Tremor
and
Medida de Comprimento
Entidade
e' um
patient
de
Tremor
Fisico
Fisico
,
Tremor
1 and
Tremor
2
Tremor
1 acontece
durante
tempo
de existencia de
Tremor
Tremor
2 acontece
durante
tempo
de existencia de
Tremor
Entidade
e'
situado
em
Fisico
vale
durante
Tremor
1
Entidade
e'
situado
em
Fisico
vale
durante
Tremor
2 a
distancia
entre
Fisico
e
Fisico
e'
Medida de Comprimento
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