Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FanBelt(fan belt) |  | fan_belt |
| appearance as argument number 1 |
|
|
| (subclass FanBelt Drivebelt) | Cars.kif 2543-2543 | Fan belt is a subclass of drivebelt |
| (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 2545-2547 | Fan belt is a subclass of drivebelt |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FanBelt "fan belt") | Cars.kif 2544-2544 |
| antecedent |
|
|
| (=> (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 2549-2566 | If X is an instance of fan belt, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of pulley (3) Z is an instance of pulley (4) equal Y (5) Z (6) W is an instance of crankshaft (7) V is an instance of automobile (8) Y is a part of V (9) Z is a part of V (10) W is a part of V (11) X is a part of V (12) W is connected to Y (13) Y is connected to X (14) X is connected to Z |
| (=> (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 2568-2582 | If All of the following hold: (1) X is an instance of fan belt (2) Y is an instance of engine fan (3) Z is an instance of automobile (4) X is a part of Z (5) Y is a part of Z (6) W is an instance of motion (7) X is a patient of W, then X has the purpose there exists V such that V is an instance of rotating, W causes V, and Y is a patient of V |
|