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

Instance-Of: Class

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

Air-Fuel-Ratio:

Slot-Documentation:

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

Arity: 1

Emissions-Index:

Slot-Documentation:

the emissions index of the internal combustion engine

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:

(Quantity.Dimension (Air-Fuel-Ratio ?Self) Dimensionless)

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

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

(Quantity-Function-Of Air-Fuel-Ratio Internal-Combustion-Engine)

(Quantity-Function-Of Emissions-Index Internal-Combustion-Engine)