Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PurifiedWater
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PurifiedWater Water) | Food.kif 238-238 | Purified water is a subclass of water |
| (relatedInternalConcept PurifiedWater DrinkingWater) | Food.kif 239-239 | Purified water is internally related to potable water |
| (documentation PurifiedWater EnglishLanguage "PurifiedWater is Water that has been mechanically filtered or processed to remove impurities and make it suitable for use. Distilled water was, formerly, the most common form of purified water, but, in recent years, water is more frequently purified by other processes including capacitive deionization, reverse osmosis, carbon filtering, microfiltration, ultrafiltration, ultraviolet oxidation, or electrodeionization.[Wikipedia]") | Food.kif 240-246 | Purified water is internally related to potable water |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PurifiedWater "purified water") | Food.kif 247-247 |
| antecedent |
|
|
| (=> (instance ?PW PurifiedWater) (exists (?R ?W ?S) (and (instance ?R Removing) (origin ?R ?W) (instance ?W Water) (patient ?R ?S) (instance ?S Substance) (part ?S ?W) (result ?R ?PW)))) |
Food.kif 249-259 | If X is an instance of purified water, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of removing (3) Y originates at Z (4) Z is an instance of water (5) W is a patient of Y (6) W is an instance of substance (7) W is a part of Z (8) X is a result of Y |
| (=> (instance ?PW PurifiedWater) (not (exists (?S) (and (part ?S ?PW) (instance ?S Substance))))) |
Food.kif 261-267 | If X is an instance of purified water, then there doesn't exist Y such that Y is a part of X and Y is an instance of substance |
| consequent |
|
|
| (=> (instance ?LAWB LeadAcidWetBattery) (material PurifiedWater ?LAWB)) |
Cars.kif 2306-2308 | If X is an instance of lead acid battery, then X is made of purified water |
|