No TPTP formula. May not be expressible in strict first order. | Geography.kif 3980-3980 | Upland area is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4013-4013 | Mountain range is a subclass of upland area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4027-4027 | Mountain is a subclass of upland area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4044-4044 | Hill is a subclass of upland area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4093-4093 | Watershed divide is a subclass of upland area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4136-4136 | Plateau is a subclass of upland area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4155-4155 | Mesa is a subclass of upland area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4171-4171 | Butte is a subclass of upland area |