No TPTP formula. May not be expressible in strict first order. | Weather.kif 1249-1249 | DustStorm est une sous-classe de Storm |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1294-1294 | SandStorm est une sous-classe de DustStorm |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1306-1306 | Haboob est une sous-classe de DustStorm |