| 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 632-632 | TropicalDepression est une sous-classe de TropicalCyclonicSystem |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 656-656 | TropicalCyclone est une sous-classe de TropicalCyclonicSystem |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 692-692 | TropicalStorm est une sous-classe de TropicalCyclonicSystem |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 720-720 | Hurricane est une sous-classe de TropicalCyclonicSystem |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 754-754 | Typhoon est une sous-classe de TropicalCyclonicSystem |
|
|