| Piston(piston)
| | piston, plunger |
| appearance as argument number 1 |
|
|
| (subclass Piston Artifact) | Cars.kif 291-291 | Piston is a subclass of artifact |
| (documentation Piston EnglishLanguage "A piston is a component of reciprocating engines, reciprocating pumps, gas compressors and pneumatic cylinders, among other similar mechanisms. It is the moving component that is contained by a cylinder and is made gas- tight by piston rings. In an engine, its purpose is to transfer force from expanding gas in the cylinder to the crankshaft via a piston rod and/ or connecting rod. In a pump, the function is reversed and force is transferred from the crankshaft to the piston for the purpose of compressing or ejecting the fluid in the cylinder. In some engines, the piston also acts as a valve by covering and uncovering ports in the cylinder wall.") | Cars.kif 293-303 | Piston is a subclass of artifact |
| (externalImage Piston "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d4/ Piston.gif/ 73px_Piston.gif") | Cars.kif 305-305 | Piston is a subclass of artifact |
| (typicalPart Piston EngineCylinder) | Cars.kif 344-344 | A piston is typically a part of a engine cylinder |
| (typicallyContainsPart Piston EngineCylinder) | Cars.kif 345-345 | A engine cylinder typically has a part piston |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Piston "piston") | Cars.kif 292-292 | |
| (typicalPart PistonRing Piston) | Cars.kif 3886-3886 | A piston ring is typically a part of a piston |
| (typicallyContainsPart PistonRing Piston) | Cars.kif 3887-3887 | A piston typically has a part piston ring |
| antecedent |
|
|
| (=> (and (instance ?E EngineCylinder) (instance ?I InternalCombustionChamber) (instance ?P Piston) (instance ?T TwoStrokeIntake) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?I)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?I)))) |
Cars.kif 463-475 | If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of internal combustion chamber (3) Z is an instance of piston (4) W is an instance of two stroke intake (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W |
| (=> (and (instance ?E EngineCylinder) (instance ?C Crankcase) (instance ?P Piston) (instance ?T TwoStrokeTransfer) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?C)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?C)))) |
Cars.kif 509-521 | If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of crankcase (3) Z is an instance of piston (4) W is an instance of two stroke transfer (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W |
| (=> (and (instance ?EC EngineCycle) (instance ?E InternalCombustionEngine) (instance ?P Piston) (instance ?U UnitOfLength) (part ?P ?E) (patient ?EC ?P) (eventLocated ?EC ?E) (pistonStroke ?E (MeasureFn ?LM ?U))) (not (exists (?T1 ?T2 ?L1 ?L2 ?D) (and (during ?T1 (WhenFn ?EC)) (during ?T2 (WhenFn ?EC)) (holdsDuring ?T1 (located ?P ?L1)) (holdsDuring ?T2 (located ?P ?L2)) (distance ?L1 ?L2 (MeasureFn ?D ?U)) (greaterThan ?D ?LM))))) |
Cars.kif 1927-1949 | If All of the following hold: (1) X is an instance of engine cycle (2) Y is an instance of internal combustion engine (3) Z is an instance of piston (4) W is an instance of unit of length (5) Z is a part of Y (6) Z is a patient of X (7) X is located at Y (8) the maximum distance that the pistons of engine Y travel is V W(s), then there don't exist U, T,, , S,, , R and Q such that U takes place during the time of existence of X and T takes place during the time of existence of X and Z is located at S holds during U and Z is located at R holds during T and the distance between S and R is Q W(s) and Q is greater than V |
| consequent |
|
|
| (=> (instance ?HC HydraulicCylinder) (exists (?HH ?C ?P) (and (instance ?C HoleRegion) (equal ?HH (HoleHostFn ?C)) (shape ?C Cylinder) (instance ?P Piston) (part ?P ?HC) (part ?HH ?HC)))) |
Cars.kif 1612-1622 | If X is an instance of hydraulic cylinder, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of hole (3) equal Y (4) the host of the hole Z (5) Z is cylinder (6) W is an instance of piston (7) W is a part of X (8) Y is a part of X |
| (=> (instance ?ECR EngineConnectingRod) (hasPurpose ?ECR (exists (?P ?C) (and (instance ?P Piston) (instance ?C Crankshaft) (connectedEngineeringComponents ?P ?ECR) (connectedEngineeringComponents ?C ?ECR))))) |
Cars.kif 1956-1964 | If X is an instance of engine connecting rod, then X has the purpose there exist Y, Z such that Y is an instance of piston, Z is an instance of crankshaft, Y is connected to X, and Z is connected to X |
|
|
|