Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Effluent(effluent) |  | effluent, sewer_water, wastewater |
| appearance as argument number 1 |
|
|
| (subclass Effluent Substance) | Geography.kif 4100-4100 | Effluent is a subclass of substance |
| (documentation Effluent EnglishLanguage "Effluent is a Substance that generically covers any waste matter that is released into the environment, including sewage and industrial pollutants.") | Geography.kif 4102-4104 | Effluent is a subclass of substance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?STUFF Effluent) (attribute ?STUFF Fluid)) |
Geography.kif 4106-4108 | If X is an instance of effluent, then fluid is an attribute of X |
|