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 2157-2159 | |
(externalImage Fuel "http://upload.wikimedia.org/wikipedia/en/a/ac/Sterno.jpg") | pictureList.kif 898-898 | |
(subclass Fuel Substance) | Mid-level-ontology.kif 2156-2156 |
appearance as argument number 2 |
![]() |
(subclass Charcoal Fuel) | Cars.kif 1677-1677 | |
(subclass FossilFuel Fuel) | Mid-level-ontology.kif 2150-2150 | |
(termFormat ChineseLanguage Fuel "汽油") | domainEnglishFormat.kif 25171-25171 | |
(termFormat ChineseTraditionalLanguage Fuel "汽油") | domainEnglishFormat.kif 25170-25170 | |
(termFormat EnglishLanguage Fuel "fuel") | domainEnglishFormat.kif 25169-25169 |
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 2795-2814 | |
(=> (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 2524-2539 | |
(=> (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 3879-3895 | |
(=> (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 |
![]() |
![]() |