TreeView Knowledge Base Browser - Crankshaft

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Crankshaft

Crankshaft

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 336-337
No TPTP formula. May not be expressible in strict first order.	Cars.kif 335-335	Crankshaft 是轴的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 341-341	Crankshaft typically 是 Crankcase 的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 338-338	Crankshaft typically 是 IntermittentCombustionEngine 的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 342-342	Crankcase typically 有 part Crankshaft
No TPTP formula. May not be expressible in strict first order.	Cars.kif 339-339	IntermittentCombustionEngine typically 有 part Crankshaft

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 64714-64714

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2585-2603	如果 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 349-361	如果客体是 Crankshaft 的 instance 和另一个客体是 IntermittentCombustionEngine 的 instance 和那个另外客体是那个客体的 part，然后那个客体的目的是有存在实体和另一个实体这样那个实体是爆炸的 instance 和那个另外实体是旋转的 instance 和那个客体是那个另外实体的 patient 和那个另外实体是 located 在那个另外客体和那个实体 causes 那个另外实体

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2346-2380	如果物理是 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 那个第十实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2215-2230	如果过程是 EngineCranking 的 instance，然后有存在客体，另一个客体,，，第三客体,，，另一个过程,，，第四客体， and 和第三过程这样那个客体是电动机的 instance 和那个另外客体是内燃机的 instance 和那个第三客体是轴的 instance 和那个第四客体是 Crankshaft 的 instance 和那个第三客体是那个客体的 part 和那个另外过程%n是那个过程的subProcess 和那个另外过程是旋转的 instance 和那个第三客体是那个另外过程的 patient 和那个第三过程是旋转的 instance 和那个第四客体是那个第三过程的 patient 和那个第四客体是那个另外客体的 part 和那个另外过程 causes 那个第三过程
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1972-1980	如果物理是 EngineConnectingRod 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是 Piston 的 instance 和那个另外实体是 Crankshaft 的 instance 和那个实体是和那个物理 connected 和那个另外实体是和那个物理 connected
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2711-2728	如果物理是 FanBelt 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是 Pulley 的 instance 和那个另外实体是 Pulley 的 instance 和那个实体不 equal 那个另外实体和那个第三实体是 Crankshaft 的 instance 和那个第四实体是汽车的 instance 和那个实体是那个第四实体的 part 和那个另外实体是那个第四实体的 part 和那个第三实体是那个第四实体的 part 和那个物理是那个第四实体的 part 和那个第三实体是和那个实体 connected 和那个实体是和那个物理 connected 和那个物理是和那个另外实体 connected
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4588-4604	如果物理是 FourWheelDriveVehicle 的 instance，然后那个物理的目的是对所有实体那个实体是那个物理的 part 和有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是发动机的 instance 和那个另外实体是那个物理的 part 和那个第三实体是 Crankshaft 的 instance 和那个第三实体是那个另外实体的 part 和那个第四实体是旋转的 instance 和那个第三实体是那个第四实体的 patient 和那个第五实体是旋转的 instance 和那个实体是那个第五实体的 patient 和那个第四实体 causes 那个第五实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4611-4643	如果物理是 TwoWheelDriveVehicle 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是那个物理的 part 和那个另外实体是那个物理的 part 和那个实体不 equal 那个另外实体和有存在第三实体，第四实体,，，第五实体,，，第六实体， and 和第七实体这样那个第三实体是发动机的 instance 和那个第三实体是那个物理的 part 和那个第四实体是 Crankshaft 的 instance 和那个第四实体是那个第三实体的 part 和那个第五实体是旋转的 instance 和那个第四实体是那个第五实体的 patient 和那个第六实体是旋转的 instance 和那个实体是那个第六实体的 patient 和那个第五实体 causes 那个第六实体和那个另外实体是那个第七实体的 patient 和那个第五实体 causes 那个第七实体和不存在第八实体和第九实体这样那个实体不 equal 那个第八实体和那个另外实体不 equal 那个第八实体和那个第八实体是那个物理的 part 和那个第九实体是旋转的 instance 和那个第八实体是那个第九实体的 patient 和那个第五实体 causes 那个第九实体

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