| No TPTP formula. May not be expressible in strict first order. | Weather.kif 552-552 | CyclonicStorm est une sous-classe de LowPressureWeatherSystem |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 553-553 | CyclonicStorm est une sous-classe de Storm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 601-601 | TropicalCyclonicSystem est une sous-classe de CyclonicStorm |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1645-1645 | Tornado est une sous-classe de CyclonicStorm |
|
|