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 ist eine teilkategorie von 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 |
|