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 è una sottoclasse di Dispositivo |
appearance as argument number 2 |
(subclass FanBelt Drivebelt) | Cars.kif 2688-2688 | FanBelt è una sottoclasse di 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 |
|