No TPTP formula. May not be expressible in strict first order. | Weather.kif 540-540 | LowPressureWeatherSystem e' uma sub-classe de WeatherSystem |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 552-552 | CyclonicStorm e' uma sub-classe de LowPressureWeatherSystem |
![]() |