Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Antifreeze(antifreeze) |  | antifreeze, propanediol, propylene_glycol |
| appearance as argument number 1 |
|
|
| (subclass Antifreeze Solution) | Cars.kif 1152-1152 | Antifreeze is a subclass of solution |
| (documentation Antifreeze EnglishLanguage "Any Substance designed to lower the meltingPoint of Water.") | Cars.kif 1154-1155 | Antifreeze is a subclass of solution |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Antifreeze "antifreeze") | Cars.kif 1153-1153 |
| antecedent |
|
|
| (=> (and (instance ?W TapWater) (instance ?M Mixture) (part ?W ?M) (instance ?A Antifreeze) (part ?A ?M) (attribute ?M Solid) (measure ?M (MeasureFn ?D CelsiusDegree))) (greaterThan 32 ?D)) |
Cars.kif 1157-1166 | If All of the following hold: (1) X is an instance of tap water (2) Y is an instance of mixture (3) X is a part of Y (4) Z is an instance of antifreeze (5) Z is a part of Y (6) solid is an attribute of Y (7) the measure of Y is W celsius degree(s), then 32 is greater than W |
|