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