No TPTP formula. May not be expressible in strict first order. | Geography.kif 4092-4092 | WatershedDivide est une sous-classe de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4093-4093 | WatershedDivide est une sous-classe de UplandArea |