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 e' uma sub-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 |