FuelFilter |
appearance as argument number 1 |
(documentation FuelFilter EnglishLanguage "A fuel filter is designed to remove impurities from Fuel.") | Cars.kif 919-920 | |
(subclass FuelFilter Filter) | Cars.kif 917-917 | FuelFilter è una sottoclasse di Filter |
appearance as argument number 2 |
(termFormat EnglishLanguage FuelFilter "fuel filter") | Cars.kif 918-918 |
antecedent |
(=> (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 |
|
consequent |