Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TwoWheelDriveVehicle(four wheel drive) |
| appearance as argument number 1 |
|
| (subclass TwoWheelDriveVehicle LandVehicle) | Cars.kif 4498-4498 | Four wheel drive is a subclass of land vehicle |
| (documentation TwoWheelDriveVehicle EnglishLanguage "A LandVehicle that is capable of providing power to all four Wheels.") | Cars.kif 4500-4501 | Four wheel drive is a subclass of land vehicle |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TwoWheelDriveVehicle "four wheel drive") | Cars.kif 4499-4499 |
| antecedent |
|
|
| (=> (instance ?TWD TwoWheelDriveVehicle) (hasPurpose ?TWD (exists (?WHEEL1 ?WHEEL2) (and (part ?WHEEL1 ?TWD) (part ?WHEEL2 ?TWD) (not (equal ?WHEEL1 ?WHEEL2)) (exists (?E ?C ?R1 ?R2 ?R3) (and (instance ?E Engine) (part ?E ?TWD) (instance ?C Crankshaft) (part ?C ?E) (instance ?R1 Rotating) (patient ?R1 ?C) (instance ?R2 Rotating) (patient ?R2 ?WHEEL1) (causes ?R1 ?R2) (patient ?R3 ?WHEEL2) (causes ?R1 ?R3) (not (exists (?WHEEL3 ?R4) (and (not (equal ?WHEEL1 ?WHEEL3)) (not (equal ?WHEEL2 ?WHEEL3)) (part ?WHEEL3 ?TWD) (instance ?R4 Rotating) (patient ?R4 ?WHEEL3) (causes ?R1 ?R4)))))))))) |
Cars.kif 4503-4535 | If X is an instance of four wheel drive, then X has the purpose there exist Y and Z such that Y is a part of X and Z is a part of X and equal Y and Z and there exist W, V,, , U,, , T and S such that W is an instance of engine and W is a part of X and V is an instance of crankshaft and V is a part of W and U is an instance of rotating and V is a patient of U and T is an instance of rotating and Y is a patient of T and U causes T and Z is a patient of S and U causes S and there don't exist R and Q such that equal Y and R and equal Z and R and R is a part of X and Q is an instance of rotating and R is a patient of Q and U causes Q |
|