No TPTP formula. May not be expressible in strict first order. | Weather.kif 521-521 | WeatherSystem est une sous-classe de WeatherProcess |
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 792-792 | HighPressureWeatherSystem est une sous-classe de WeatherSystem |
![]() |