Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Flywheel
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Flywheel EngineeringComponent) | Cars.kif 2083-2083 | Flywheel is a subclass of engineering component |
| (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 2085-2088 | Flywheel is a subclass of engineering component |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Flywheel "flywheel") | Cars.kif 2084-2084 |
| antecedent |
|
|
| (=> (instance ?F Flywheel) (hasPurpose ?F (exists (?R1 ?R2) (and (instance ?R1 Rotating) (instance ?R2 Rotating) (patient ?R1 ?F) (causes ?R1 ?R2))))) |
Cars.kif 2090-2098 | If X is an instance of flywheel, then X has the purpose there exist Y, Z such that Y is an instance of rotating, Z is an instance of rotating, X is a patient of Y, and Y causes Z |
|