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 4995-4995 | Higher high tide is a subclass of high tide |