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
RotationFn
Sigma KEE - RotationFn
RotationFn
appearance as argument number 1
(
documentation
RotationFn
EnglishLanguage
"A
Function
that maps an instance of
Rotating
to the speed of the rotation.")
Cars.kif 2084-2085
(
domain
RotationFn
1
Rotating
)
Cars.kif 2086-2086
O argumento numero 1 de
RotationFn
e' uma
instancia
de
Rotating
(
domain
RotationFn
2
TimeDuration
)
Cars.kif 2087-2087
O argumento numero 2 de
RotationFn
e' uma
instancia
de
Duracao Temporal
(
instance
RotationFn
BinaryFunction
)
Cars.kif 2082-2082
RotationFn
e' uma
instancia
de
Funcao Binaria
(
range
RotationFn
FunctionQuantity
)
Cars.kif 2088-2088
O
contra
-dominio de
RotationFn
e' uma instancia de
Funcao de Quantidade
appearance as argument number 2
(
format
EnglishLanguage
RotationFn
"the rotation of %1 during %2")
Cars.kif 2083-2083
(
termFormat
EnglishLanguage
RotationFn
"rotation fn")
domainEnglishFormat.kif 65423-65423
antecedent
(=>
(
and
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2568-2586
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
Numero Real
MilesPerHour
(s) and
Duracao Temporal
Objeto
e' uma
instancia
de
Automobile
Processo
e' uma
instancia
de
GasPedal
Processo
e' uma
instancia
de
Pushing
Processo
termina
em
Objeto
InternalCombustionEngine
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Crankshaft
Objeto
e' uma &parte de
InternalCombustionEngine
a
medida
de
Objeto
e'
RotationFn
Entidade
MilesPerHour
(s) and
Duracao Temporal
vale
durante
tempo
de existencia de
Processo
o argumento
Entidade
e'
maior
que
Numero Real
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?SH1
Shaft
)
(
instance
?SH2
Shaft
)
(
not
(
equal
?SH1 ?SH2))
(
instance
?R1
Rotating
)
(
patient
?R1 ?SH1)
(
instance
?R2
Rotating
)
(
patient
?R2 ?SH2)
(
causes
?R1 ?R2)
(
instance
?CV
CVJoint
)
(
connectedEngineeringComponents
?R1 ?CV)
(
connectedEngineeringComponents
?R2 ?CV)
(
holdsDuring
(
WhenFn
?R1)
(
equal
?SH1
(
RotationFn
?N ?T))))
(
holdsDuring
(
WhenFn
?R2)
(
equal
?SH2
(
RotationFn
?N ?T))))
Cars.kif 2097-2116
Entidade
e' uma
instancia
de
Shaft
Entidade
e' uma
instancia
de
Shaft
Entidade
e'
igual
a
Entidade
Componente de Engenharia
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Componente de Engenharia
Componente de Engenharia
causa
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
CVJoint
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Entidade
e'
igual
a
RotationFn
Entidade
and
Entidade
vale
durante
tempo
de existencia de
Componente de Engenharia
Entidade
e'
igual
a
RotationFn
Entidade
and
Entidade
vale
durante
tempo
de existencia de
Componente de Engenharia
consequent
(=>
(
and
(
instance
?SH1
Shaft
)
(
instance
?SH2
Shaft
)
(
not
(
equal
?SH1 ?SH2))
(
instance
?R1
Rotating
)
(
patient
?R1 ?SH1)
(
instance
?R2
Rotating
)
(
patient
?R2 ?SH2)
(
causes
?R1 ?R2)
(
instance
?CV
CVJoint
)
(
connectedEngineeringComponents
?R1 ?CV)
(
connectedEngineeringComponents
?R2 ?CV)
(
holdsDuring
(
WhenFn
?R1)
(
equal
?SH1
(
RotationFn
?N ?T))))
(
holdsDuring
(
WhenFn
?R2)
(
equal
?SH2
(
RotationFn
?N ?T))))
Cars.kif 2097-2116
Entidade
e' uma
instancia
de
Shaft
Entidade
e' uma
instancia
de
Shaft
Entidade
e'
igual
a
Entidade
Componente de Engenharia
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Componente de Engenharia
Componente de Engenharia
causa
Componente de Engenharia
Componente de Engenharia
e' uma
instancia
de
CVJoint
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Entidade
e'
igual
a
RotationFn
Entidade
and
Entidade
vale
durante
tempo
de existencia de
Componente de Engenharia
Entidade
e'
igual
a
RotationFn
Entidade
and
Entidade
vale
durante
tempo
de existencia de
Componente de Engenharia
(=>
(
instance
?AT
AutomobileTransmission
)
(
hasPurpose
?AT
(
exists
(?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3)
(
and
(
instance
?C
Crankshaft
)
(
instance
?D
Driveshaft
)
(
instance
?A
Automobile
)
(
part
?D ?A)
(
part
?AT ?A)
(
part
?C ?A)
(
connectedEngineeringComponents
?C ?AT)
(
connectedEngineeringComponents
?D ?AT)
(
instance
?R1
Rotating
)
(
instance
?R2
Rotating
)
(
instance
?R3
Rotating
)
(
instance
?R4
Rotating
)
(
patient
?R1 ?C)
(
patient
?R2 ?C)
(
patient
?R3 ?D)
(
patient
?R4 ?D)
(
causes
?R1 ?R3)
(
causes
?R2 ?R4)
(
not
(
equal
?R1 ?R2))
(
holdsDuring
?R1
(
measure
?C
(
RotationFn
?N1
MinuteDuration
)))
(
holdsDuring
?R2
(
measure
?C
(
RotationFn
?N1
MinuteDuration
)))
(
holdsDuring
?R3
(
measure
?D
(
RotationFn
?N2
MinuteDuration
)))
(
holdsDuring
?R4
(
measure
?D
(
RotationFn
?N3
MinuteDuration
)))
(
not
(
equal
?N2 ?N3))))))
Cars.kif 2329-2363
Fisico
e' uma
instancia
de
AutomobileTransmission
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Crankshaft
Entidade
e' uma
instancia
de
Driveshaft
Entidade
e' uma
instancia
de
Automobile
Entidade
e' uma &parte de
Entidade
Fisico
e' uma &parte de
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e'
conectado
a
Fisico
Entidade
e'
conectado
a
Fisico
Entidade
e' uma
instancia
de
Rotating
Entidade
e' uma
instancia
de
Rotating
Entidade
e' uma
instancia
de
Rotating
Entidade
e' uma
instancia
de
Rotating
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
causa
Entidade
Entidade
causa
Entidade
Entidade
e'
igual
a
Entidade
a
medida
de
Entidade
e'
RotationFn
Entidade
and
MinuteDuration
vale
durante
Entidade
a
medida
de
Entidade
e'
RotationFn
Entidade
and
MinuteDuration
vale
durante
Entidade
a
medida
de
Entidade
e'
RotationFn
Entidade
and
MinuteDuration
vale
durante
Entidade
a
medida
de
Entidade
e'
RotationFn
Entidade
and
MinuteDuration
vale
durante
Entidade
Entidade
e'
igual
a
Entidade
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