a thermal component in which work is developed as a result of a gas or liquid passing through a set of blades attached to a shaft free to rotate
(Forall (?Self ?Time) (<=> (Active ?Time Turbine ?Self) (And (Turbine ?Self) (Active ?Time Thermal-Component ?Self) (Active ?Time Work-Producing-Component ?Self))))