SandStorm
|
|
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 | SandStorm est une sous-classe de DustStorm |
appearance as argument number 2 |
(termFormat ChineseLanguage SandStorm "沙暴") | domainEnglishFormat.kif 51089-51089 | |
(termFormat ChineseTraditionalLanguage SandStorm "沙暴") | domainEnglishFormat.kif 51088-51088 | |
(termFormat EnglishLanguage SandStorm "sand storm") | domainEnglishFormat.kif 51087-51087 |
antecedent |
(=> (instance ?SS SandStorm) (exists (?SAND) (and (instance ?SAND Sand) (objectTransferred ?SS ?SAND)))) |
Weather.kif 1287-1292 |