No TPTP formula. May not be expressible in strict first order. | Weather.kif 540-540 | CyclonicStorm e' uma sub-classe de LowPressureWeatherSystem |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 541-541 | CyclonicStorm e' uma sub-classe de Storm |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 589-589 | TropicalCyclonicSystem e' uma sub-classe de CyclonicStorm |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1632-1632 | Tornado e' uma sub-classe de CyclonicStorm |