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 2101-2102
(
domain
RotationFn
1
Rotating
)
Cars.kif 2103-2103
Il numero 1 argomenti di
RotationFn
è un
istanza
di
Rotating
(
domain
RotationFn
2
TimeDuration
)
Cars.kif 2104-2104
Il numero 2 argomenti di
RotationFn
è un
istanza
di
Durata
(
instance
RotationFn
BinaryFunction
)
Cars.kif 2099-2099
RotationFn
è un'
istanza
di
FunzioneBinaria
(
range
RotationFn
FunctionQuantity
)
Cars.kif 2105-2105
rango
di
RotationFn
è un'istanza di
FunzioneDiQuantit�
appearance as argument number 2
(
format
EnglishLanguage
RotationFn
"the rotation of %1 during %2")
Cars.kif 2100-2100
(
termFormat
EnglishLanguage
RotationFn
"rotation fn")
domainEnglishFormat.kif 65421-65421
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 2585-2603
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
NumeroReale
MilesPerHour
(s and
Durata
Oggetto
è un'
istanza
di
Automobile
Processo
è un'
istanza
di
GasPedal
Processo
è un'
istanza
di
Pushing
Processo
fine
s in
Oggetto
InternalCombustionEngine
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Crankshaft
Oggetto
è una
parte
di
InternalCombustionEngine
la
misura
Oggetto
è
RotationFn
Entit�
MilesPerHour
(s and
Durata
vales
durante
il
tempo
di esistenza di
Processo
l'affermazione
Entit�
è
pi
ù grande di
NumeroReale
ha il modello di forza di
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 2114-2133
Entit�
è un'
istanza
di
Shaft
Entit�
è un'
istanza
di
Shaft
Entit�
is
uguale
a
Entit�
Meccanismo
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Meccanismo
Meccanismo
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Meccanismo
Meccanismo
causa
s
Meccanismo
Meccanismo
è un'
istanza
di
CVJoint
Meccanismo
è
connesso
a
Meccanismo
Meccanismo
è
connesso
a
Meccanismo
Entit�
is
uguale
a
RotationFn
Entit�
and
Entit�
vales
durante
il
tempo
di esistenza di
Meccanismo
Entit�
is
uguale
a
RotationFn
Entit�
and
Entit�
vales
durante
il
tempo
di esistenza di
Meccanismo
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 2114-2133
Entit�
è un'
istanza
di
Shaft
Entit�
è un'
istanza
di
Shaft
Entit�
is
uguale
a
Entit�
Meccanismo
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Meccanismo
Meccanismo
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Meccanismo
Meccanismo
causa
s
Meccanismo
Meccanismo
è un'
istanza
di
CVJoint
Meccanismo
è
connesso
a
Meccanismo
Meccanismo
è
connesso
a
Meccanismo
Entit�
is
uguale
a
RotationFn
Entit�
and
Entit�
vales
durante
il
tempo
di esistenza di
Meccanismo
Entit�
is
uguale
a
RotationFn
Entit�
and
Entit�
vales
durante
il
tempo
di esistenza di
Meccanismo
(=>
(
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 2346-2380
Entit�Concreta
è un'
istanza
di
AutomobileTransmission
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Crankshaft
Entit�
è un'
istanza
di
Driveshaft
Entit�
è un'
istanza
di
Automobile
Entit�
è una
parte
di
Entit�
Entit�Concreta
è una
parte
di
Entit�
Entit�
è una
parte
di
Entit�
Entit�
è
connesso
a
Entit�Concreta
Entit�
è
connesso
a
Entit�Concreta
Entit�
è un'
istanza
di
Rotating
Entit�
è un'
istanza
di
Rotating
Entit�
è un'
istanza
di
Rotating
Entit�
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
Entit�
causa
s
Entit�
Entit�
is
uguale
a
Entit�
la
misura
Entit�
è
RotationFn
Entit�
and
MinuteDuration
vales
durante
Entit�
la
misura
Entit�
è
RotationFn
Entit�
and
MinuteDuration
vales
durante
Entit�
la
misura
Entit�
è
RotationFn
Entit�
and
MinuteDuration
vales
durante
Entit�
la
misura
Entit�
è
RotationFn
Entit�
and
MinuteDuration
vales
durante
Entit�
Entit�
is
uguale
a
Entit�
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