No TPTP formula. May not be expressible in strict first order. | Geography.kif 4101-4101 | SlopedArea est une sous-classe de LandForm |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4123-4123 | Cliff est une sous-classe de SlopedArea |