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 est une sous-classe de 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 |