No TPTP formula. May not be expressible in strict first order. | Geography.kif 1099-1099 | Maritime exclusive economic zone is a subclass of maritime claim area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1100-1100 | Maritime exclusive economic zone is a subclass of salt water area |