| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1249-1249 | 子類 塵暴 and Storm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1294-1294 | 子類 沙暴 and 塵暴 |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1306-1306 | 子類 Haboob and 塵暴 |
|
|