Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   FuelPump
|
|
|
| appearance as argument number 1 |
|
|
| (subclass FuelPump Pump) | Cars.kif 973-973 | Fuel pump is a subclass of pump |
| (documentation FuelPump EnglishLanguage "A pump that moves fuel from the gas tank through a FuelFilter and ultimately to the EngineCylinder.") | Cars.kif 975-976 | Fuel pump is a subclass of pump |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FuelPump "fuel pump") | Cars.kif 974-974 |
| antecedent |
|
|
| (=> (instance ?FP FuelPump) (hasPurpose ?FP (exists (?F ?T) (and (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP))))) |
Cars.kif 978-986 | If X is an instance of fuel pump, then X has the purpose there exist Y, Z such that Z is an instance of transportation, Y is an instance of fuel, Y is a patient of Z, and X is an instrument for Y |
| (=> (and (instance ?FP FuelPump) (instance ?A Automobile) (part ?FP ?A) (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP)) (hasPurpose ?FP (exists (?GT ?EC) (and (instance ?GT GasTank) (part ?GT ?A) (instance ?EC EngineCylinder) (part ?EC ?A) (origin ?T ?GT) (destination ?T ?EC))))) |
Cars.kif 988-1005 | If All of the following hold: (1) X is an instance of fuel pump (2) Y is an instance of automobile (3) X is a part of Y (4) Z is an instance of transportation (5) W is an instance of fuel (6) W is a patient of Z (7) X is an instrument for W, then All of the following hold: (1) X has the purpose there exist V (2) U such that V is an instance of gas tank (3) V is a part of Y (4) U is an instance of engine cylinder (5) U is a part of Y (6) Z originates at V (7) Z ends up at U |
| (=> (and (instance ?FP FuelPump) (instance ?A Automobile) (part ?FP ?A) (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP) (instance ?GT GasTank) (part ?GT ?A) (instance ?EC EngineCylinder) (part ?EC ?A) (origin ?T ?GT) (destination ?T ?EC) (path ?T ?P)) (hasPurpose ?T (exists (?FF) (and (instance ?FF FuelFilter) (betweenOnPath ?GT ?FF ?EC ?P))))) |
Cars.kif 1007-1027 | If All of the following hold: (1) X is an instance of fuel pump (2) Y is an instance of automobile (3) X is a part of Y (4) Z is an instance of transportation (5) W is an instance of fuel (6) W is a patient of Z (7) X is an instrument for W (8) V is an instance of gas tank (9) V is a part of Y (10) U is an instance of engine cylinder (11) U is a part of Y (12) Z originates at V (13) Z ends up at U (14) T is path along which Z occurs, then Z has the purpose there exists S such that S is an instance of fuel filter, S is between V, and U on path T |
|