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 4044-4044 | Hill is a subclass of upland area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4085-4085 | Volcanic cone is a subclass of hill |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4385-4385 | Dune is a subclass of hill |