No TPTP formula. May not be expressible in strict first order. | Geography.kif 3975-3975 | Land form is a subclass of geographic area |
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 3984-3984 | Lowland area is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4012-4012 | Mountain range is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4026-4026 | Mountain is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4043-4043 | Hill is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4057-4057 | Volcano is a subclass of land form |
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 4135-4135 | Plateau is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4154-4154 | Mesa is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4172-4172 | Butte is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4226-4226 | Valley is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4243-4243 | Basin is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4259-4259 | Canyon is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5757-5757 | River bank is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5776-5776 | Delta is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5793-5793 | Peninsula is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5807-5807 | Cape is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5841-5841 | Archipelago is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5911-5911 | Shoal is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5937-5937 | Reef is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5998-5998 | Glacier is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6048-6048 | Cave matrix is a subclass of land form |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6120-6120 | Seacoast is a subclass of land form |