AirFilter |
appearance as argument number 1 |
(documentation AirFilter EnglishLanguage "An air filter is designed to remove Solid impurities from Air.") | Cars.kif 940-941 | |
(subclass AirFilter Filter) | Cars.kif 938-938 | AirFilter est une sous-classe de Filter |
appearance as argument number 2 |
(termFormat EnglishLanguage AirFilter "air filter") | Cars.kif 939-939 |
antecedent |
(=> (instance ?FILTER AirFilter) (hasPurpose ?FILTER (exists (?REMOVE ?AIR ?NONAIR ?MIX) (and (instance ?REMOVE Removing) (part ?AIR ?MIX) (instance ?AIR Air) (not (instance ?NONAIR Air)) (attribute ?NONAIR Solid) (patient ?REMOVE ?NONAIR) (part ?NONAIR ?MIX) (origin ?REMOVE ?MIX) (instance ?MIX Mixture) (instrument ?REMOVE ?FILTER))))) |
Cars.kif 943-958 |
|