No TPTP formula. May not be expressible in strict first order. | Geography.kif 4989-4989 | HighTide e' uma sub-classe de TidalProcess |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4995-4995 | HigherHighTide e' uma sub-classe de HighTide |