No TPTP formula. May not be expressible in strict first order. | Geography.kif 4154-4154 | Mesa est une sous-classe de LandForm |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4155-4155 | Mesa est une sous-classe de UplandArea |