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