No TPTP formula. May not be expressible in strict first order. | Geography.kif 4092-4092 | Watershed divide is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4093-4093 | Watershed divide is a subclass of upland area |