| 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 2692-2694 | |
| (subclass FanBelt Drivebelt) | Cars.kif 2690-2690 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FanBelt "fan belt") | Cars.kif 2691-2691 |
| 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 2715-2729 | |
| (=> (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 2696-2713 |
|
|
|