| 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 |
| 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 |
|
|
|