Class RECIPROCATING-COMPONENT

Slots on this class:

Documentation:
the class of components which are based on reciprocating motion,

such as reciprocating pumps, compressors, expanders, engines

Subclass-Of: Entity, Positive-displacement-component
Arity: 1
Has-Quantity-Function:
Bore, Bore-area, Stroke, Strokes-per-cycle

Slots on instances of this class:

Bore:
Slot-Cardinality: 1
Slot-Documentation:
the diameter of the cylinder
Bore-Area:
Slot-Cardinality: 1
Slot-Documentation:
the cross sectional area of the inside of the cylinder
Stroke:
Slot-Cardinality: 1
Slot-Documentation:
the distance the piston moves in one direction
Strokes-Per-Cycle:
Slot-Cardinality: 1
Slot-Documentation:
the number of strokes executed by the piston for every two revolutions of the crankshaft

Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time Reciprocating-Component ?Self)
             (And (Reciprocating-Component ?Self)
                  (Active ?Time
                          Positive-Displacement-Component
                          ?Self))))

(=> (Reciprocating-Component ?Self)
    (And (Quantity.Dimension (Stroke ?Self) Length-Dimension)
         (Quantity.Dimension (Bore-Area ?Self) Area-Dimension)
         (Quantity.Dimension (Bore ?Self) Length-Dimension)
         (Quantity.Dimension (Strokes-Per-Cycle ?Self) Dimensionless)))