No TPTP formula. May not be expressible in strict first order. | Geography.kif 3984-3984 | LowlandArea est une sous-classe de LandForm |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4218-4218 | Plain est une sous-classe de LowlandArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4227-4227 | Valley est une sous-classe de LowlandArea |