|
|
   Drivebelt
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Drivebelt EnglishLanguage "A Pliable belt that links two Pulleys") | Cars.kif 2295-2296 | |
| (subclass Drivebelt Device) | Cars.kif 2293-2293 | 子類 Drivebelt and Device |
| appearance as argument number 2 |
|
|
| (subclass FanBelt Drivebelt) | Cars.kif 2688-2688 | 子類 FanBelt and Drivebelt |
| (termFormat EnglishLanguage Drivebelt "drivebelt") | Cars.kif 2294-2294 |
| antecedent |
|
|
| (=> (instance ?D Drivebelt) (attribute ?D Pliable)) |
Cars.kif 2298-2300 |
| consequent |
|
|
| (=> (instance ?P Pulley) (hasPurpose ?P (exists (?P2 ?D ?R1 ?R2) (and (instance ?P2 Pulley) (not (equal ?P ?P2)) (instance ?D Drivebelt) (instance ?R1 Rotating) (instance ?R2 Rotating) (connectedEngineeringComponents ?P ?D) (connectedEngineeringComponents ?P2 ?D) (patient ?R1 ?P) (patient ?R2 ?P2) (causes ?R1 ?R2))))) |
Cars.kif 2276-2291 |
|
|
|