No TPTP formula. May not be expressible in strict first order. | Geography.kif 4952-4952 | Tidal process is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4978-4978 | Low tide is a subclass of tidal process |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4989-4989 | High tide is a subclass of tidal process |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5001-5001 | Mixed tide process is a subclass of tidal process |