Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FourWheelDriveVehicle(four wheel drive) |
| appearance as argument number 1 |
|
| (subclass FourWheelDriveVehicle LandVehicle) | Cars.kif 4475-4475 | Four wheel drive is a subclass of land vehicle |
| (documentation FourWheelDriveVehicle EnglishLanguage "A LandVehicle that is capable of providing power to all four Wheels.") | Cars.kif 4477-4478 | Four wheel drive is a subclass of land vehicle |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FourWheelDriveVehicle "four wheel drive") | Cars.kif 4476-4476 |
| antecedent |
|
|
| (=> (instance ?FWD FourWheelDriveVehicle) (hasPurpose ?FWD (forall (?W) (and (part ?W ?FWD) (exists (?E ?C ?R1 ?R2) (and (instance ?E Engine) (part ?E ?FWD) (instance ?C Crankshaft) (part ?C ?E) (instance ?R1 Rotating) (patient ?R1 ?C) (instance ?R2 Rotating) (patient ?R2 ?W) (causes ?R1 ?R2))))))) |
Cars.kif 4480-4496 | If X is an instance of four wheel drive, then All of the following hold: (1) X has the purpose Y Y is a part of X (2) there exist Z, W,, , V (3) U such that Z is an instance of engine (4) Z is a part of X (5) W is an instance of crankshaft (6) W is a part of Z (7) V is an instance of rotating (8) W is a patient of V (9) U is an instance of rotating (10) Y is a patient of U (11) V causes U |
| consequent |
|
|
| (=> (instance ?FFT FourByFourTire) (hasPurpose ?FFT (exists (?FWDV) (and (instance ?FWDV FourWheelDriveVehicle) (part ?FFT ?FWDV))))) |
Cars.kif 4545-4551 | If X is an instance of four wheel drive tire, then X has the purpose there exists Y such that Y is an instance of four wheel drive and X is a part of Y |
|