| (subclass TropicalCyclonicSystem CyclonicStorm) | Weather.kif 601-601 | TropicalCyclonicSystem è una sottoclasse di CyclonicStorm |
| (subclass TropicalDepression TropicalCyclonicSystem) | Weather.kif 644-644 | TropicalDepression è una sottoclasse di TropicalCyclonicSystem |
| (subclass TropicalCyclone TropicalCyclonicSystem) | Weather.kif 668-668 | TropicalCyclone è una sottoclasse di TropicalCyclonicSystem |
| (subclass TropicalStorm TropicalCyclonicSystem) | Weather.kif 704-704 | TropicalStorm è una sottoclasse di TropicalCyclonicSystem |
| (subclass Hurricane TropicalCyclonicSystem) | Weather.kif 732-732 | Hurricane è una sottoclasse di TropicalCyclonicSystem |
| (subclass Typhoon TropicalCyclonicSystem) | Weather.kif 766-766 | Typhoon è una sottoclasse di TropicalCyclonicSystem |
|
|