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

Instance-Of: Class
Subclass-Of: Entity, Positive-displacement-component
Arity: 1
Bore:
Slot-Documentation: the diameter of the cylinder
Bore-Area:
Slot-Documentation:
the cross sectional area of the inside of the cylinder
Has-Quantity-Function:
Bore, Bore-area, Stroke, Strokes-per-cycle
Stroke:
Slot-Documentation:
the distance the piston moves in one direction
Strokes-Per-Cycle:
Slot-Documentation:
the number of strokes executed by the piston for every two revolutions of the crankshaft
Superclass-Of: Internal-combustion-engine

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:

(Quantity.Dimension (Strokes-Per-Cycle ?Self) Dimensionless)

(Quantity.Dimension (Bore ?Self) Length-Dimension)

(Quantity.Dimension (Bore-Area ?Self) Area-Dimension)

(Quantity.Dimension (Stroke ?Self) Length-Dimension)

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

Other Related Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time Internal-Combustion-Engine ?Self)
             (And (Internal-Combustion-Engine ?Self)
                  (Active ?Time Reciprocating-Component ?Self)
                  (Active ?Time Work-Producing-Component ?Self))))

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

(Quantity-Function-Of Stroke Reciprocating-Component)

(Quantity-Function-Of Bore-Area Reciprocating-Component)

(Quantity-Function-Of Bore Reciprocating-Component)

(Quantity-Function-Of Strokes-Per-Cycle Reciprocating-Component)