|
|
   SparklingWater
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SparklingWater EnglishLanguage "SparklingWater is the class of DrinkingWater made with added carbon dioxide gas.") | Food.kif 222-223 | |
| (subclass SparklingWater DrinkingWater) | Food.kif 221-221 | SparklingWater 是 饮用水 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SparklingWater "sparkling water") | Food.kif 224-224 |
| antecedent |
|
|
| (=> (instance ?S SparklingWater) (exists (?P ?W ?CD) (and (instance ?P Putting) (instance ?W DrinkingWater) (destination ?P ?CD) (instance ?CD CarbonDioxide) (result ?P ?S) (part ?CD ?S)))) |
Food.kif 226-235 |
|
|
|