Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AbsoluteFilter(absolute filter) |
| appearance as argument number 1 |
|
| (subclass AbsoluteFilter Filter) | MilitaryDevices.kif 1520-1520 | Absolute filter is a subclass of filter |
| (documentation AbsoluteFilter EnglishLanguage "A filter capable of cutting off 100% by weight of solid particles greater than a stated micron size.") | MilitaryDevices.kif 1521-1522 | Absolute filter is a subclass of filter |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?FILTER AbsoluteFilter) (hasPurpose ?FILTER (exists (?REMOVE ?GAS) (and (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (instrument ?REMOVE ?FILTER))))) |
MilitaryDevices.kif 1525-1533 | If X is an instance of absolute filter, then X has the purpose there exist Y, Z such that Y is an instance of removing, Y originates at Z, Z is an instance of gas mixture, and X is an instrument for Y |
| (=> (and (instance ?FILTER AbsoluteFilter) (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (patient ?REMOVE ?PARTICLE) (attribute ?PARTICLE Solid) (instrument ?REMOVE ?FILTER)) (not (part ?PARTICLE ?GAS))) |
MilitaryDevices.kif 1536-1546 | If All of the following hold: (1) X is an instance of absolute filter (2) Y is an instance of removing (3) Y originates at Z (4) Z is an instance of gas mixture (5) W is a patient of Y (6) solid is an attribute of W (7) X is an instrument for Y, then W is not a part of Z |
|