Icing![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Icing ChineseLanguage "Icing 是当 Ice 在 Solid 物体上凝结成多晶体。 ") | Weather.kif 2273-2273 | |
(documentation Icing EnglishLanguage "Icing is the process by which Ice is deposited on a %Solid object in polycrystalline form.") | Weather.kif 2271-2272 | |
(externalImage Icing "http://upload.wikimedia.org/wikipedia/commons/9/95/ Windbuchencom.jpg") | pictureList.kif 2481-2481 | |
(subclass Icing Freezing) | Weather.kif 2276-2276 | |
(subclass Icing WeatherProcess) | Weather.kif 2275-2275 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Icing "刨冰") | domainEnglishFormat.kif 29161-29161 | |
(termFormat ChineseLanguage Icing "大气结冰") | Weather.kif 2274-2274 | |
(termFormat ChineseTraditionalLanguage Icing "刨冰") | domainEnglishFormat.kif 29160-29160 | |
(termFormat EnglishLanguage Icing "icing") | domainEnglishFormat.kif 29159-29159 |
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 2278-2288 |
![]() |
![]() |