KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
RotationFn
Sigma KEE - RotationFn
RotationFn
appearance as argument number 1
(
instance
RotationFn
BinaryFunction
)
Cars.kif 1944-1944
Rotation fn
is an
instance
of
binary function
(
documentation
RotationFn
EnglishLanguage
"A
Function
that maps an instance of
Rotating
to the speed of the rotation.")
Cars.kif 1946-1947
Rotation fn
is an
instance
of
binary function
(
domain
RotationFn
1
Rotating
)
Cars.kif 1948-1948
The number 1 argument of
rotation fn
is an
instance
of
rotating
(
range
RotationFn
FunctionQuantity
)
Cars.kif 1949-1949
The
range
of
rotation fn
is an instance of
function quantity
appearance as argument number 2
(
format
EnglishLanguage
RotationFn
"the rotation of %1 during %2")
Cars.kif 1945-1945
(
termFormat
EnglishLanguage
RotationFn
"rotation fn")
domainEnglishFormat.kif 65424-65424
antecedent
(=>
(
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)
(
equal
(
WhenFn
?R1)
(
WhenFn
?R2))
(
instance
?CV
CVJoint
)
(
connectedEngineeringComponents
?SH1 ?CV)
(
connectedEngineeringComponents
?SH2 ?CV)
(
holdsDuring
(
WhenFn
?R1)
(
equal
(
MeasureFn
?N
RevolutionsPerMinute
)
(
RotationFn
?R1))))
(
holdsDuring
(
WhenFn
?R2)
(
equal
(
MeasureFn
?N
RevolutionsPerMinute
)
(
RotationFn
?R2))))
Cars.kif 1958-1984
If All of the following hold: (1)
X
is an
instance
of
shaft
(2)
Y
is an
instance
of
shaft
(3)
equal
X
and
Y
(4)
Z
is an
instance
of
rotating
(5)
X
is a
patient
of
Z
(6)
W
is an
instance
of
rotating
(7)
Y
is a
patient
of
W
(8)
Z
cause
s
W
(9)
equal
the
time
of existence of
Z
and the
time
of existence of
W
(10)
V
is an
instance
of
C.V. joint
(11)
X
is
connected
to
V
(12)
Y
is
connected
to
V
(13)
equal
U
revolutions per minute
(s) and the rotation of
Z
during holds
during
the
time
of existence of
Z
, then
equal
U
revolutions per minute
(s) and the rotation of
W
during holds
during
the
time
of existence of
W
(=>
(
and
(
instance
?AT
AutomobileTransmission
)
(
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
?G1
Gear
)
(
instance
?G2
Gear
)
(
part
?G1 ?AT)
(
part
?G2 ?AT)
(
instance
?CR1
Rotating
)
(
instance
?CR2
Rotating
)
(
instance
?GR1
Rotating
)
(
instance
?GR2
Rotating
)
(
instance
?DR1
Rotating
)
(
instance
?DR2
Rotating
)
(
moves
?CR1 ?C)
(
moves
?CR2 ?C)
(
moves
?GR1 ?G1)
(
moves
?GR2 ?G2)
(
moves
?DR1 ?D)
(
moves
?DR2 ?D)
(
causes
?CR1 ?GR1)
(
causes
?GR1 ?DR1)
(
causes
?CR2 ?GR2)
(
causes
?GR2 ?DR2)
(
not
(
equal
?CR1 ?CR2))
(
not
(
equal
?G1 ?G2))
(
equal
(
MeasureFn
?NR1
RevolutionsPerMinute
)
(
RotationFn
?CR1))
(
equal
(
MeasureFn
?NR2
RevolutionsPerMinute
)
(
RotationFn
?CR2))
(
equal
(
MeasureFn
?ND1
RevolutionsPerMinute
)
(
RotationFn
?DR1))
(
equal
(
MeasureFn
?ND2
RevolutionsPerMinute
)
(
RotationFn
?DR2))
(
equal
?NR1 ?NR2))
(
not
(
equal
?ND1 ?ND2)))
Cars.kif 2195-2236
If All of the following hold: (1)
X
is an
instance
of
transmission
(2)
Y
is an
instance
of
crankshaft
(3)
Z
is an
instance
of
driveshaft
(4)
W
is an
instance
of
automobile
(5)
Z
is a
part
of
W
(6)
X
is a
part
of
W
(7)
Y
is a
part
of
W
(8)
Y
is
connected
to
X
(9)
Z
is
connected
to
X
(10)
V
is an
instance
of
gear
(11)
U
is an
instance
of
gear
(12)
V
is a
part
of
X
(13)
U
is a
part
of
X
(14)
T
is an
instance
of
rotating
(15)
S
is an
instance
of
rotating
(16)
R
is an
instance
of
rotating
(17)
Q
is an
instance
of
rotating
(18)
P
is an
instance
of
rotating
(19)
O
is an
instance
of
rotating
(20)
Y
moves during
T
(21)
Y
moves during
S
(22)
V
moves during
R
(23)
U
moves during
Q
(24)
Z
moves during
P
(25)
Z
moves during
O
(26)
T
cause
s
R
(27)
R
cause
s
P
(28)
S
cause
s
Q
(29)
Q
cause
s
O
(30)
equal
T
and
S
(31)
equal
V
and
U
(32)
equal
N
revolutions per minute
(s) and the rotation of
T
during (33)
equal
M
revolutions per minute
(s) and the rotation of
S
during (34)
equal
L
revolutions per minute
(s) and the rotation of
P
during (35)
equal
K
revolutions per minute
(s) and the rotation of
O
during (36)
equal
N
and
M
, then
equal
L
and
K
(=>
(
and
(
engineIdleSpeed
?E
(
MeasureFn
?RI
RevolutionsPerMinute
))
(
instance
?A
Automobile
)
(
instance
?GP
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
instance
?R1
Rotating
)
(
moves
?R1 ?C)
(
during
(
WhenFn
?R1)
(
WhenFn
?P))
(
part
?C ?E)
(
equal
(
MeasureFn
?RA
RevolutionsPerMinute
)
(
RotationFn
?R1)))
(
modalAttribute
(
greaterThan
?RA ?RI)
Likely
))
Cars.kif 2419-2441
If All of the following hold: (1) the idle speed of
X
is
Y
revolutions per minute
(s) (2)
Z
is an
instance
of
automobile
(3)
W
is an
instance
of
gas pedal
(4)
V
is an
instance
of
pushing
(5)
V
end
s up at
W
(6)
X
is a
part
of
Z
(7)
W
is a
part
of
Z
(8)
U
is an
instance
of
crankshaft
(9)
T
is an
instance
of
rotating
(10)
U
moves during
T
(11) the
time
of existence of
T
takes place
during
the
time
of existence of
V
(12)
U
is a
part
of
X
(13)
equal
S
revolutions per minute
(s) and the rotation of
T
during, then the statement
S
is
greater
than
Y
has the
modal
force
of
likely
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)
(
equal
(
WhenFn
?R1)
(
WhenFn
?R2))
(
instance
?CV
CVJoint
)
(
connectedEngineeringComponents
?SH1 ?CV)
(
connectedEngineeringComponents
?SH2 ?CV)
(
holdsDuring
(
WhenFn
?R1)
(
equal
(
MeasureFn
?N
RevolutionsPerMinute
)
(
RotationFn
?R1))))
(
holdsDuring
(
WhenFn
?R2)
(
equal
(
MeasureFn
?N
RevolutionsPerMinute
)
(
RotationFn
?R2))))
Cars.kif 1958-1984
If All of the following hold: (1)
X
is an
instance
of
shaft
(2)
Y
is an
instance
of
shaft
(3)
equal
X
and
Y
(4)
Z
is an
instance
of
rotating
(5)
X
is a
patient
of
Z
(6)
W
is an
instance
of
rotating
(7)
Y
is a
patient
of
W
(8)
Z
cause
s
W
(9)
equal
the
time
of existence of
Z
and the
time
of existence of
W
(10)
V
is an
instance
of
C.V. joint
(11)
X
is
connected
to
V
(12)
Y
is
connected
to
V
(13)
equal
U
revolutions per minute
(s) and the rotation of
Z
during holds
during
the
time
of existence of
Z
, then
equal
U
revolutions per minute
(s) and the rotation of
W
during holds
during
the
time
of existence of
W
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.0-
a0cce400
(2026-06-02) is
open source software
produced by
Articulate Software
and its partners
RotationFn