FuelPump
|
|
appearance as argument number 1 |
(documentation FuelPump EnglishLanguage "A pump that moves fuel from the gas tank through a FuelFilter and ultimately to the EngineCylinder.") | Cars.kif 1038-1039 | |
(subclass FuelPump Pump) | Cars.kif 1036-1036 |
appearance as argument number 2 |
(termFormat EnglishLanguage FuelPump "fuel pump") | Cars.kif 1037-1037 |
antecedent |
(=> (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 1070-1090 | |
(=> (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 1051-1068 | |
(=> (instance ?FP FuelPump) (hasPurpose ?FP (exists (?F ?T) (and (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP))))) |
Cars.kif 1041-1049 |