No TPTP formula. May not be expressible in strict first order. | Geography.kif 3984-3984 | LowlandArea e' uma sub-classe de LandForm |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4218-4218 | Plain e' uma sub-classe de LowlandArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4227-4227 | Valley e' uma sub-classe de LowlandArea |