| (subclass CyclonicStorm LowPressureWeatherSystem) | Weather.kif 551-551 | CyclonicStorm e' uma sub-classe de LowPressureWeatherSystem |
| (subclass CyclonicStorm Storm) | Weather.kif 552-552 | CyclonicStorm e' uma sub-classe de Storm |
| (subclass TropicalCyclonicSystem CyclonicStorm) | Weather.kif 605-605 | TropicalCyclonicSystem e' uma sub-classe de CyclonicStorm |
| (subclass Tornado CyclonicStorm) | Weather.kif 1649-1649 | Tornado e' uma sub-classe de CyclonicStorm |
|
|