Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Drivebelt(drivebelt) |  | belt |
| appearance as argument number 1 |
|
|
| (subclass Drivebelt Device) | Cars.kif 2159-2159 | Drivebelt is a subclass of device |
| (documentation Drivebelt EnglishLanguage "A Pliable belt that links two Pulleys") | Cars.kif 2161-2162 | Drivebelt is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Drivebelt "drivebelt") | Cars.kif 2160-2160 | |
| (subclass FanBelt Drivebelt) | Cars.kif 2543-2543 | Fan belt is a subclass of drivebelt |
| antecedent |
|
|
| (=> (instance ?D Drivebelt) (attribute ?D Pliable)) |
Cars.kif 2164-2166 | If X is an instance of drivebelt, then pliable is an attribute of X |
| 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 |
|