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