No TPTP formula. May not be expressible in strict first order. | Geography.kif 4101-4101 | Sloped area is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4123-4123 | Cliff is a subclass of sloped area |