Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AirFilter(air filter) |  | air_cleaner, air_filter, filter_tip |
| appearance as argument number 1 |
|
|
| (subclass AirFilter Filter) | Cars.kif 875-875 | Air filter is a subclass of filter |
| (documentation AirFilter EnglishLanguage "An air filter is designed to remove Solid impurities from Air.") | Cars.kif 877-878 | Air filter is a subclass of filter |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AirFilter "air filter") | Cars.kif 876-876 |
| 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 880-895 | If X is an instance of air filter, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of removing (3) Z is a part of V (4) Z is an instance of air (5) W is not an instance of air (6) solid is an attribute of W (7) W is a patient of Y (8) W is a part of V (9) Y originates at V (10) V is an instance of mixture (11) X is an instrument for Y |
|