|
|
   FanBelt
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FanBelt EnglishLanguage "A Drivebelt driven from a Pulley connected to the Crankshaft, which drives other systems, such as the EngineFan, EngineWaterPump etc.") | Cars.kif 2690-2692 | |
| (subclass FanBelt Drivebelt) | Cars.kif 2688-2688 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FanBelt "fan belt") | Cars.kif 2689-2689 |
| antecedent |
|
|
| (=> (and (instance ?FB FanBelt) (instance ?EF EngineFan) (instance ?A Automobile) (part ?FB ?A) (part ?EF ?A) (instance ?M Motion) (patient ?M ?FB)) (hasPurpose ?FB (exists (?M2) (and (instance ?M2 Rotating) (causes ?M ?M2) (patient ?M2 ?EF))))) |
Cars.kif 2713-2727 | |
| (=> (instance ?FB FanBelt) (hasPurpose ?FB (exists (?P1 ?P2 ?C ?A) (and (instance ?P1 Pulley) (instance ?P2 Pulley) (not (equal ?P1 ?P2)) (instance ?C Crankshaft) (instance ?A Automobile) (part ?P1 ?A) (part ?P2 ?A) (part ?C ?A) (part ?FB ?A) (connectedEngineeringComponents ?C ?P1) (connectedEngineeringComponents ?P1 ?FB) (connectedEngineeringComponents ?FB ?P2))))) |
Cars.kif 2694-2711 |
|
|
|