Fuel
|
|
appearance as argument number 1 |
(documentation Fuel EnglishLanguage "Fuel is the class of Substances that can be used as resources in Combustion processes in order to produce heat. Mechanical energy can be produced by burning fuel in an Engine.") | Mid-level-ontology.kif 1694-1696 | |
(externalImage Fuel "http://upload.wikimedia.org/wikipedia/en/a/ac/Sterno.jpg") | pictureList.kif 898-898 | |
(subclass Fuel Substance) | Mid-level-ontology.kif 1693-1693 |
appearance as argument number 2 |
(subclass Charcoal Fuel) | Cars.kif 1676-1676 | |
(subclass FossilFuel Fuel) | Mid-level-ontology.kif 1687-1687 | |
(termFormat ChineseLanguage Fuel "汽油") | domainEnglishFormat.kif 25160-25160 | |
(termFormat ChineseTraditionalLanguage Fuel "汽油") | domainEnglishFormat.kif 25159-25159 | |
(termFormat EnglishLanguage Fuel "fuel") | domainEnglishFormat.kif 25158-25158 |
antecedent |
consequent |
(=> (and (instance ?E InternalCombustionEngine) (instance ?CC CombustionChamber) (part ?CC ?E) (instance ?F Fuel) (instance ?M UnitOfVolume) (holdsDuring ?T (and (contains ?CC ?F) (measure ?F (MeasureFn ?N1 ?M)) (attribute ?E EngineFlooded)))) (hasPurpose ?CC (not (exists (?F2 ?N2) (and (instance ?F2 Fuel) (contains ?CC ?F2) (measure ?F2 (MeasureFn ?N2 ?M)) (greaterThanOrEqualTo ?N2 ?N1)))))) |
Cars.kif 2817-2836 | |
(=> (instance ?FA FuelAtomizer) (hasPurpose ?FA (exists (?F ?S ?A ?C) (and (instance ?F Fuel) (instance ?S Spraying) (instance ?A Air) (instance ?C Combustion) (patient ?S ?A) (patient ?S ?F) (resource ?C ?F) (resource ?C ?A))))) |
Cars.kif 1112-1124 | |
(=> (instance ?FILTER FuelFilter) (hasPurpose ?FILTER (exists (?REMOVE ?FUEL ?NONFUEL ?SOLUTION) (and (instance ?REMOVE Removing) (part ?FUEL ?SOLUTION) (instance ?FUEL Fuel) (not (instance ?NONFUEL Fuel)) (patient ?REMOVE ?NONFUEL) (part ?NONFUEL ?SOLUTION) (origin ?REMOVE ?SOLUTION) (instance ?SOLUTION Solution) (instrument ?REMOVE ?FILTER))))) |
Cars.kif 922-936 | |
(=> (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 | |
(=> (instance ?FV FuelVapor) (exists (?F) (and (instance ?F Fuel) (part ?F ?FV)))) |
Cars.kif 73-78 | |
(=> (instance ?GP GasPedal) (hasPurpose ?GP (exists (?P ?T ?F ?E ?A) (and (instance ?P Pushing) (instance ?T Transfer) (instance ?F Fuel) (instance ?E Engine) (instance ?A Automobile) (part ?GP ?A) (part ?E ?A) (destination ?P ?GP) (destination ?T ?E) (patient ?T ?F) (causes ?P ?T))))) |
Cars.kif 2546-2561 | |
(=> (instance ?GT GasTank) (hasPurpose ?GT (exists (?F ?T ?E) (and (instance ?F Fuel) (contains ?GT ?F) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?GT) (destination ?T ?E) (patient ?T ?F))))) |
Cars.kif 1000-1011 | |
(=> (instance ?GT GasTank) (hasPurpose ?GT (exists (?F) (and (instance ?F Fuel) (contains ?GT ?F))))) |
Cars.kif 992-998 | |
(=> (instance ?I InternalCombustionEngine) (hasPurpose ?I (exists (?F ?C) (and (instance ?F Fuel) (instance ?C Combustion) (instrument ?C ?I) (resource ?C ?F))))) |
Cars.kif 47-55 | |
(=> (instance ?PCVV PositiveCrankcaseVentilationValve) (hasPurpose ?PCVV (exists (?CR ?F ?CC ?T ?A) (and (instance ?CR Crankcase) (instance ?F Fuel) (instance ?CC CombustionChamber) (instance ?T Transfer) (instance ?A Automobile) (part ?CR ?A) (part ?CC ?A) (part ?PCVV ?A) (origin ?T ?CR) (destination ?T ?CC) (objectTransferred ?T ?F) (path ?T ?PCVV))))) |
Cars.kif 3826-3842 | |
(=> (instance ?X FuelCapLock) (hasPurpose ?X (exists (?TANK ?HOLE ?T) (and (instance ?TANK GasTank) (hole ?HOLE ?TANK) (decreasesLikelihood (holdsDuring ?T (and (connected ?X ?HOLE) (attribute ?X Locked))) (holdsDuring ?T (exists (?STEAL ?FUEL) (and (instance ?STEAL Stealing) (instance ?FUEL Fuel) (located ?FUEL ?TANK) (patient ?STEAL ?FUEL))))))))) |
Cars.kif 1016-1034 |