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
域
RotationFn
, 1 and
旋轉
(
domain
RotationFn
2
TimeDuration
)
Cars.kif 2104-2104
域
RotationFn
, 2 and
TimeDuration
(
instance
RotationFn
BinaryFunction
)
Cars.kif 2099-2099
例
RotationFn
and
BinaryFunction
(
range
RotationFn
FunctionQuantity
)
Cars.kif 2105-2105
範圍
RotationFn
and
FunctionQuantity
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
內燃機
and
RotationFn
測量
RealNumber
and
MilesPerHour
and
TimeDuration
例
Object
and
汽車
例
Process
and
GasPedal
例
Process
and
Pushing
目的地
Process
and
Object
部分
內燃機
and
Object
部分
Object
and
Object
例
Object
and
Crankshaft
部分
Object
and
內燃機
持有期間
何時
Process
and
測量
Object
and
RotationFn
測量
entity
and
MilesPerHour
and
TimeDuration
模態屬性
比較多
entity
and
RealNumber
and
容易
(=>
(
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
例
Entity
and
軸
例
Entity
and
軸
等於
Entity
and
Entity
例
EngineeringComponent
and
旋轉
患者
EngineeringComponent
and
Entity
例
EngineeringComponent
and
旋轉
患者
EngineeringComponent
and
Entity
原因
EngineeringComponent
and
EngineeringComponent
例
EngineeringComponent
and
CVJoint
連接的工程組件
EngineeringComponent
and
EngineeringComponent
連接的工程組件
EngineeringComponent
and
EngineeringComponent
持有期間
何時
EngineeringComponent
and
等於
Entity
and
RotationFn
entity
and
entity
持有期間
何時
EngineeringComponent
and
等於
Entity
and
RotationFn
entity
and
entity
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
例
Entity
and
軸
例
Entity
and
軸
等於
Entity
and
Entity
例
EngineeringComponent
and
旋轉
患者
EngineeringComponent
and
Entity
例
EngineeringComponent
and
旋轉
患者
EngineeringComponent
and
Entity
原因
EngineeringComponent
and
EngineeringComponent
例
EngineeringComponent
and
CVJoint
連接的工程組件
EngineeringComponent
and
EngineeringComponent
連接的工程組件
EngineeringComponent
and
EngineeringComponent
持有期間
何時
EngineeringComponent
and
等於
Entity
and
RotationFn
entity
and
entity
持有期間
何時
EngineeringComponent
and
等於
Entity
and
RotationFn
entity
and
entity
(=>
(
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
例
Physical
and
AutomobileTransmission
有目的
Physical
and
entity
entity
,
entity
,
entity
,
entity
,
entity
,
entity
,
entity
,
entity
and
entity
例
entity
and
Crankshaft
例
entity
and
Driveshaft
例
entity
and
汽車
部分
entity
and
entity
部分
Physical
and
entity
部分
entity
and
entity
連接的工程組件
entity
and
Physical
連接的工程組件
entity
and
Physical
例
entity
and
旋轉
例
entity
and
旋轉
例
entity
and
旋轉
例
entity
and
旋轉
患者
entity
and
entity
患者
entity
and
entity
患者
entity
and
entity
患者
entity
and
entity
原因
entity
and
entity
原因
entity
and
entity
等於
entity
and
entity
持有期間
entity
and
測量
entity
and
RotationFn
entity
and
分鐘
持有期間
entity
and
測量
entity
and
RotationFn
entity
and
分鐘
持有期間
entity
and
測量
entity
and
RotationFn
entity
and
分鐘
持有期間
entity
and
測量
entity
and
RotationFn
entity
and
分鐘
等於
entity
and
entity
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