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 1816-1821 | |
(subclass Clutch Device) | Cars.kif 1814-1814 | Clutch ist eine teilkategorie von Device |
appearance as argument number 2 |
(termFormat EnglishLanguage Clutch "clutch") | Cars.kif 1815-1815 |
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 1844-1862 |
|
(=> (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 1823-1842 |
|