Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Piston(piston)
|  | piston, plunger |
| appearance as argument number 1 |
|
|
| (subclass Piston Artifact) | Cars.kif 244-244 | 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 246-256 | Piston is a subclass of artifact |
| (externalImage Piston "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d4/ Piston.gif/ 73px_Piston.gif") | Cars.kif 258-258 | Piston is a subclass of artifact |
| (typicalPart Piston EngineCylinder) | Cars.kif 297-297 | A piston is typically a part of a engine cylinder |
| (typicallyContainsPart Piston EngineCylinder) | Cars.kif 298-298 | A engine cylinder typically has a part piston |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Piston "piston") | Cars.kif 245-245 | |
| (typicalPart PistonRing Piston) | Cars.kif 3677-3677 | A piston ring is typically a part of a piston |
| (typicallyContainsPart PistonRing Piston) | Cars.kif 3678-3678 | 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 416-428 | 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 462-474 | 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 1807-1829 | 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 1491-1501 | 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 1836-1844 | 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 |
|