No TPTP formula. May not be expressible in strict first order. | Geography.kif 4092-4092 | WatershedDivide e' uma sub-classe de Area terrestre |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4093-4093 | WatershedDivide e' uma sub-classe de UplandArea |
![]() |