| No TPTP formula. May not be expressible in strict first order. | Weather.kif 540-540 | CyclonicStorm est une sous-classe de LowPressureWeatherSystem |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 541-541 | CyclonicStorm est une sous-classe de Storm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 589-589 | TropicalCyclonicSystem est une sous-classe de CyclonicStorm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1632-1632 | Tornado est une sous-classe de CyclonicStorm |
|
|