SandStorm |
appearance as argument number 1 |
(documentation SandStorm ChineseLanguage "SandStorm 是含 Sand 颗粒的 DustStorm。") | Weather.kif 1297-1297 | |
(documentation SandStorm EnglishLanguage "SandStorms are DustStorms in which the particles are Sand.") | Weather.kif 1295-1296 | |
(externalImage SandStorm "http://articulatesoftware.com/SUMOpictures/weather/ pictures/ dust_storm.png") | pictureList.kif 1969-1969 | |
(subclass SandStorm DustStorm) | Weather.kif 1294-1294 | SandStorm est une sous-classe de DustStorm |
appearance as argument number 2 |
(termFormat ChineseLanguage SandStorm "沙暴") | domainEnglishFormat.kif 51087-51087 | |
(termFormat ChineseTraditionalLanguage SandStorm "沙暴") | domainEnglishFormat.kif 51086-51086 | |
(termFormat EnglishLanguage SandStorm "sand storm") | domainEnglishFormat.kif 51085-51085 |
antecedent |
(=> (instance ?SS SandStorm) (exists (?SAND) (and (instance ?SAND Sand) (objectTransferred ?SS ?SAND)))) |
Weather.kif 1299-1304 |