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
RotationFn
的 1 数量 是
旋转
的
instance
(
domain
RotationFn
2
TimeDuration
)
Cars.kif 2087-2087
RotationFn
的 2 数量 是
持续时间
的
instance
(
instance
RotationFn
BinaryFunction
)
Cars.kif 2082-2082
RotationFn
是
二元函数
的
instance
(
range
RotationFn
FunctionQuantity
)
Cars.kif 2088-2088
RotationFn
的
range
是
函数量
的实例
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
内燃机
and
RotationFn
实数
英里每小時
and
持续时间
和
客体
是
汽车
的
instance
和
过程
是
GasPedal
的
instance
和
那个 过程
是
Pushing
的
instance
和
那个 过程
在
另一个 客体
结束 和
那个 内燃机
是
那个 客体
的
part
和
那个 另外 客体
是
那个 客体
的
part
和
第三 客体
是
Crankshaft
的
instance
和
那个 第三 客体
是
那个 内燃机
的
part
和
那个 第三 客体
的
measure
是
RotationFn
实体
英里每小時
and
那个 持续时间
在
那个 过程
出现 的
time
holdsDuring
,
然后
那个 实体
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
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
如果
实体
是
轴
的
instance
和
另一个 实体
是
轴
的
instance
和
那个 实体
不
equal
那个 另外 实体
和
工程组件
是
旋转
的
instance
和
那个 实体
是
那个 工程组件
的
patient
和
另一个 工程组件
是
旋转
的
instance
和
那个 另外 实体
是
那个 另外 工程组件
的
patient
和
那个 工程组件
causes
那个 另外 工程组件
和
第三 工程组件
是
CVJoint
的
instance
和
那个 工程组件
是 和
那个 第三 工程组件
connected
和
那个 另外 工程组件
是 和
那个 第三 工程组件
connected
和
那个 实体
equal
RotationFn
第三 实体
and
第四 实体
在
那个 工程组件
出现 的
time
holdsDuring
,
然后
那个 另外 实体
equal
RotationFn
那个 第三 实体
and
那个 第四 实体
在
那个 另外 工程组件
出现 的
time
holdsDuring
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
如果
实体
是
轴
的
instance
和
另一个 实体
是
轴
的
instance
和
那个 实体
不
equal
那个 另外 实体
和
工程组件
是
旋转
的
instance
和
那个 实体
是
那个 工程组件
的
patient
和
另一个 工程组件
是
旋转
的
instance
和
那个 另外 实体
是
那个 另外 工程组件
的
patient
和
那个 工程组件
causes
那个 另外 工程组件
和
第三 工程组件
是
CVJoint
的
instance
和
那个 工程组件
是 和
那个 第三 工程组件
connected
和
那个 另外 工程组件
是 和
那个 第三 工程组件
connected
和
那个 实体
equal
RotationFn
第三 实体
and
第四 实体
在
那个 工程组件
出现 的
time
holdsDuring
,
然后
那个 另外 实体
equal
RotationFn
那个 第三 实体
and
那个 第四 实体
在
那个 另外 工程组件
出现 的
time
holdsDuring
(=>
(
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
如果
物理
是
AutomobileTransmission
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
,, ,
第五 实体
,, ,
第六 实体
,, ,
第七 实体
,, ,
第八 实体
,, ,
第九 实体
, and 和
第十 实体
这样
那个 实体
是
Crankshaft
的
instance
和
那个 另外 实体
是
Driveshaft
的
instance
和
那个 第三 实体
是
汽车
的
instance
和
那个 另外 实体
是
那个 第三 实体
的
part
和
那个 物理
是
那个 第三 实体
的
part
和
那个 实体
是
那个 第三 实体
的
part
和
那个 实体
是 和
那个 物理
connected
和
那个 另外 实体
是 和
那个 物理
connected
和
那个 第四 实体
是
旋转
的
instance
和
那个 第六 实体
是
旋转
的
instance
和
那个 第七 实体
是
旋转
的
instance
和
那个 第八 实体
是
旋转
的
instance
和
那个 实体
是
那个 第四 实体
的
patient
和
那个 实体
是
那个 第六 实体
的
patient
和
那个 另外 实体
是
那个 第七 实体
的
patient
和
那个 另外 实体
是
那个 第八 实体
的
patient
和
那个 第四 实体
causes
那个 第七 实体
和
那个 第六 实体
causes
那个 第八 实体
和
那个 第四 实体
不
equal
那个 第六 实体
和
那个 实体
的
measure
是
RotationFn
那个 第五 实体
and
分钟
在
那个 第四 实体
holdsDuring
和
那个 实体
的
measure
是
RotationFn
那个 第五 实体
and
分钟
在
那个 第六 实体
holdsDuring
和
那个 另外 实体
的
measure
是
RotationFn
那个 第九 实体
and
分钟
在
那个 第七 实体
holdsDuring
和
那个 另外 实体
的
measure
是
RotationFn
那个 第十 实体
and
分钟
在
那个 第八 实体
holdsDuring
和
那个 第九 实体
不
equal
那个 第十 实体
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