| Icing
| |
| appearance as argument number 1 |
|
|
| (documentation Icing ChineseLanguage "Icing 是当 Ice 在 Solid 物体上凝结成多晶体。 ") | Weather.kif 3025-3025 | |
| (documentation Icing EnglishLanguage "Icing is the process by which Ice is deposited on a %Solid object in polycrystalline form.") | Weather.kif 3023-3024 | |
| (externalImage Icing "http://upload.wikimedia.org/wikipedia/commons/9/95/ Windbuchencom.jpg") | pictureList.kif 2479-2479 | |
| (subclass Icing Freezing) | Weather.kif 3028-3028 | |
| (subclass Icing WeatherProcess) | Weather.kif 3027-3027 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Icing "刨冰") | domainEnglishFormat.kif 29174-29174 | |
| (termFormat ChineseLanguage Icing "大气结冰") | Weather.kif 3026-3026 | |
| (termFormat ChineseTraditionalLanguage Icing "刨冰") | domainEnglishFormat.kif 29173-29173 | |
| (termFormat EnglishLanguage Icing "icing") | domainEnglishFormat.kif 29172-29172 |
| antecedent |
|
|
| (=> (instance ?ICING Icing) (exists (?ICE ?OBJ) (and (instance ?ICE Ice) (attribute ?ICE PolyCrystalline) (patient ?ICING ?ICE) (instance ?OBJ Object) (attribute ?OBJ Solid) (destination ?ICING ?OBJ) (meetsSpatially ?ICE ?OBJ)))) |
Weather.kif 3030-3040 |
|
|
|