Flywheel(flywheel) | fluid_flywheel, flywheel |
appearance as argument number 1 |
(documentation Flywheel EnglishLanguage "Any Device designed to smooth the application of force or keep a Shaft spinning in the absence of other power inputs. It can either be massive or spin quickly (or both), in order to have significant intertia.") | Cars.kif 2234-2237 | |
(subclass Flywheel EngineeringComponent) | Cars.kif 2232-2232 | Flywheel is a subclass of engineering component |
appearance as argument number 2 |
(termFormat EnglishLanguage Flywheel "flywheel") | Cars.kif 2233-2233 |
antecedent |
(=> (instance ?F Flywheel) (hasPurpose ?F (exists (?R1 ?R2) (and (instance ?R1 Rotating) (instance ?R2 Rotating) (patient ?R1 ?F) (causes ?R1 ?R2))))) |
Cars.kif 2239-2247 |
|