(subclass DustStorm Storm) | Weather.kif 1249-1249 | Dust storm is a subclass of storm |
(subclass SandStorm DustStorm) | Weather.kif 1294-1294 | Sand storm is a subclass of dust storm |
(subclass Haboob DustStorm) | Weather.kif 1306-1306 | Haboob is a subclass of dust storm |