No TPTP formula. May not be expressible in strict first order. | Geography.kif 4989-4989 | HighTide est une sous-classe de TidalProcess |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4995-4995 | HigherHighTide est une sous-classe de HighTide |