(subclass TidalProcess InternalChange) | Geography.kif 4952-4952 | Tidal process is a subclass of internal change |
(subclass LowTide TidalProcess) | Geography.kif 4978-4978 | Low tide is a subclass of tidal process |
(subclass HighTide TidalProcess) | Geography.kif 4989-4989 | High tide is a subclass of tidal process |
(subclass MixedTideProcess TidalProcess) | Geography.kif 5001-5001 | Mixed tide process is a subclass of tidal process |