| 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 4984-4984 | Lower low tide is a subclass of low tide |
|
|