Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Pulley(pulley) |  | block, idle_pulley, idle_wheel, idler_pulley, pulley, pulley-block, pulley_block |
| appearance as argument number 1 |
|
|
| (subclass Pulley DriveComponent) | Cars.kif 2137-2137 | Pulley is a subclass of drive component |
| (documentation Pulley EnglishLanguage "A grooved wheel designed to hold a Drivebelt, and transmit the force of Rotating to another Pulley.") | Cars.kif 2139-2140 | Pulley is a subclass of drive component |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Pulley "pulley") | Cars.kif 2138-2138 |
| antecedent |
|
|
| (=> (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 2142-2157 | If X is an instance of pulley, 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) equal X (4) Y (5) Z is an instance of drivebelt (6) W is an instance of rotating (7) V is an instance of rotating (8) X is connected to Z (9) Y is connected to Z (10) X is a patient of W (11) Y is a patient of V (12) W causes V |
| 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 2142-2157 | If X is an instance of pulley, 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) equal X (4) Y (5) Z is an instance of drivebelt (6) W is an instance of rotating (7) V is an instance of rotating (8) X is connected to Z (9) Y is connected to Z (10) X is a patient of W (11) Y is a patient of V (12) W causes V |
| (=> (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 |
|