No TPTP formula. May not be expressible in strict first order. | Weather.kif 1249-1249 | DustStorm e' uma sub-classe de Storm |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1294-1294 | SandStorm e' uma sub-classe de DustStorm |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1306-1306 | Haboob e' uma sub-classe de DustStorm |