| (subclass TidalProcess InternalChange) | Geography.kif 4952-4952 | TidalProcess est une sous-classe de changement interne |
| (subclass LowTide TidalProcess) | Geography.kif 4978-4978 | LowTide est une sous-classe de TidalProcess |
| (subclass HighTide TidalProcess) | Geography.kif 4989-4989 | HighTide est une sous-classe de TidalProcess |
| (subclass MixedTideProcess TidalProcess) | Geography.kif 5001-5001 | MixedTideProcess est une sous-classe de TidalProcess |
|
|