No TPTP formula. May not be expressible in strict first order. | Weather.kif 540-540 | LowPressureWeatherSystem est une sous-classe de WeatherSystem |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 552-552 | CyclonicStorm est une sous-classe de LowPressureWeatherSystem |