TreeView Knowledge Base Browser - RotationFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RotationFn

RotationFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2107-2108
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2109-2109	RotationFn 的 1 数量是旋转的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2110-2110	RotationFn 的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2105-2105	RotationFn 是二元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2111-2111	RotationFn 的 range 是函数量的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2106-2106
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65421-65421

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2591-2609	如果 engineIdleSpeed 内燃机 and RotationFn 实数英里每小時 and 持续时间和客体是汽车的 instance 和过程是 GasPedal 的 instance 和那个过程是 Pushing 的 instance 和那个过程在另一个客体结束和那个内燃机是那个客体的 part 和那个另外客体是那个客体的 part 和第三客体是 Crankshaft 的 instance 和那个第三客体是那个内燃机的 part 和那个第三客体的 measure 是 RotationFn 实体英里每小時 and 那个持续时间在那个过程出现的 time holdsDuring，然后那个实体是 greaterThan 那个实数的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2120-2139	如果实体是轴的 instance 和另一个实体是轴的 instance 和那个实体不 equal 那个另外实体和工程组件是旋转的 instance 和那个实体是那个工程组件的 patient 和另一个工程组件是旋转的 instance 和那个另外实体是那个另外工程组件的 patient 和那个工程组件 causes 那个另外工程组件和第三工程组件是 CVJoint 的 instance 和那个工程组件是和那个第三工程组件 connected 和那个另外工程组件是和那个第三工程组件 connected 和那个实体 equal RotationFn 第三实体 and 第四实体在那个工程组件出现的 time holdsDuring，然后那个另外实体 equal RotationFn 那个第三实体 and 那个第四实体在那个另外工程组件出现的 time holdsDuring

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2120-2139	如果实体是轴的 instance 和另一个实体是轴的 instance 和那个实体不 equal 那个另外实体和工程组件是旋转的 instance 和那个实体是那个工程组件的 patient 和另一个工程组件是旋转的 instance 和那个另外实体是那个另外工程组件的 patient 和那个工程组件 causes 那个另外工程组件和第三工程组件是 CVJoint 的 instance 和那个工程组件是和那个第三工程组件 connected 和那个另外工程组件是和那个第三工程组件 connected 和那个实体 equal RotationFn 第三实体 and 第四实体在那个工程组件出现的 time holdsDuring，然后那个另外实体 equal RotationFn 那个第三实体 and 那个第四实体在那个另外工程组件出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2352-2386	如果物理是 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