TreeView Knowledge Base Browser - Piston

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Piston

Piston

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 293-303
No TPTP formula. May not be expressible in strict first order.	Cars.kif 305-305
No TPTP formula. May not be expressible in strict first order.	Cars.kif 291-291	Piston 是人工制品的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 344-344	Piston typically 是 EngineCylinder 的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 345-345	EngineCylinder typically 有 part Piston

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 292-292
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3808-3808	PistonRing typically 是 Piston 的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3809-3809	Piston typically 有 part PistonRing

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 509-521	如果客体是 EngineCylinder 的 instance 和洞是 Crankcase 的 instance 和物理是 Piston 的 instance 和过程是 TwoStrokeTransfer 的 instance 和那个物理是 located 在那个客体在那个过程 holdsDuring 和那个客体 equal 洞那个洞的主体和那个过程是 located 在那个客体，然后那个物理的目的是那个物理 fills 了那个洞的一部分在那个过程 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 463-475	如果客体是 EngineCylinder 的 instance 和洞是 InternalCombustionChamber 的 instance 和物理是 Piston 的 instance 和过程是 TwoStrokeIntake 的 instance 和那个物理是 located 在那个客体在那个过程 holdsDuring 和那个客体 equal 洞那个洞的主体和那个过程是 located 在那个客体，然后那个物理的目的是那个物理 fills 了那个洞的一部分在那个过程 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1943-1965	如果过程是 EngineCycle 的 instance 和发动机是内燃机的 instance 和客体是 Piston 的 instance 和测量单位是 UnitOfLength 的 instance 和那个客体是那个发动机的 part 和那个客体是那个过程的 patient 和那个过程是 located 在那个发动机和 pistonStroke 那个发动机 and 实数那个测量单位，然后不存在时距，另一个时距,，，物理,，，另一个物理， and 和另一个实数这样那个时距在那个过程出现的 time 时段内发生和那个另外时距在那个过程出现的 time 时段内发生和那个客体是 located 在那个物理在那个时距 holdsDuring 和那个客体是 located 在那个另外物理在那个另外时距 holdsDuring 和那个物理和那个另外物理的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数

consequent

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 1606-1615	如果客体是 HydraulicCylinder 的 instance，然后有存在另一个客体，洞， and 和第三客体这样那个洞是洞的 instance 和那个另外客体 equal 洞那个洞的主体和圆筒是那个洞的 attribute 和那个第三客体是 Piston 的 instance 和那个第三客体是那个客体的 part 和那个另外客体是那个客体的 part

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