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 e' uma sub-classe de Aparelho |
appearance as argument number 2 |
(subclass FanBelt Drivebelt) | Cars.kif 2688-2688 | FanBelt e' uma sub-classe de 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 |
|