Class INTERNAL-COMBUSTION-ENGINE

• Defined in theory: Thermal-system
• Source code: thermal-system.ol

Slots on this class:

Documentation:

the class of components which includes diesel and petrol engines

Subclass-Of: Entity, Reciprocating-component, Work-producing-component

Arity: 1

Has-Quantity-Function: Air-fuel-ratio, Emissions-index

---

Slots on instances of this class:

Air-Fuel-Ratio:

Slot-Cardinality: 1

Slot-Documentation:

the ratio of the amount of air in a reaction to the amount of ruel

Emissions-Index:

Slot-Cardinality: 1

Slot-Documentation:

the emissions index of the internal combustion engine

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))))

(=> (Internal-Combustion-Engine ?Self)
    (Quantity.Dimension (Air-Fuel-Ratio ?Self) Dimensionless))