No TPTP formula. May not be expressible in strict first order. | Geography.kif 3984-3984 | Lowland area is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4218-4218 | Plain is a subclass of lowland area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4227-4227 | Valley is a subclass of lowland area |