SandStorm(sand storm) |
appearance as argument number 1 |
(documentation SandStorm ChineseLanguage "SandStorm 是含 Sand 颗粒的 DustStorm。") | Weather.kif 1285-1285 | |
(documentation SandStorm EnglishLanguage "SandStorms are DustStorms in which the particles are Sand.") | Weather.kif 1283-1284 | |
(externalImage SandStorm "http://articulatesoftware.com/SUMOpictures/weather/ pictures/ dust_storm.png") | pictureList.kif 1969-1969 | |
(subclass SandStorm DustStorm) | Weather.kif 1282-1282 | Sand storm is a subclass of dust storm |
appearance as argument number 2 |
(termFormat ChineseLanguage SandStorm "沙暴") | domainEnglishFormat.kif 51127-51127 | |
(termFormat ChineseTraditionalLanguage SandStorm "沙暴") | domainEnglishFormat.kif 51126-51126 | |
(termFormat EnglishLanguage SandStorm "sand storm") | domainEnglishFormat.kif 51125-51125 |
antecedent |
(=> (instance ?SS SandStorm) (exists (?SAND) (and (instance ?SAND Sand) (objectTransferred ?SS ?SAND)))) |
Weather.kif 1287-1292 |
|