No TPTP formula. May not be expressible in strict first order. | Weather.kif 2885-2885 | Storm e' uma sub-classe de WeatherProcess |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 553-553 | CyclonicStorm e' uma sub-classe de Storm |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 839-839 | Thunderstorm e' uma sub-classe de Storm |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1238-1238 | Windstorm e' uma sub-classe de Storm |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1247-1247 | Squall e' uma sub-classe de Storm |
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 1644-1644 | Tornado e' uma sub-classe de Storm |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2613-2613 | Blizzard e' uma sub-classe de Storm |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2932-2932 | Snowstorm e' uma sub-classe de Storm |
![]() |