| Clutch | |
| appearance as argument number 1 |
|
|
| (documentation Clutch EnglishLanguage "A Device used to engage and disengage moving parts. It consists of a friction plate and a spring_loaded mechanism that engages the plate with varying force as the clutch is released. In an Automobile it ultimately connects the Engine with the Gearbox. For the purposes of this definition, we consider the DeviceOn state of the clutch to mean that it is not engaged with the clutch plate.") | Cars.kif 1794-1799 | |
| (subclass Clutch Device) | Cars.kif 1792-1792 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Clutch "clutch") | Cars.kif 1793-1793 |
| antecedent |
|
|
| (=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOff)) (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2)))) |
Cars.kif 1822-1840 | |
| (=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOn)) (not (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2))))) |
Cars.kif 1801-1820 |
|
|
|