FuelVapor |
appearance as argument number 1 |
(documentation FuelVapor EnglishLanguage "A mixture of a gas (often Air) and fuel, typically produced intentionally in Engines for the purpose of Combustion.") | Cars.kif 69-71 | |
(subclass FuelVapor GasMixture) | Cars.kif 67-67 | FuelVapor è una sottoclasse di GasMixture |
appearance as argument number 2 |
(termFormat EnglishLanguage FuelVapor "fuel vapor") | Cars.kif 68-68 |
antecedent |
(=> (instance ?FV FuelVapor) (exists (?F) (and (instance ?F Fuel) (part ?F ?FV)))) |
Cars.kif 73-78 |
consequent |