No TPTP formula. May not be expressible in strict first order. | Geography.kif 4043-4043 | Hill est une sous-classe de LandForm |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4044-4044 | Hill est une sous-classe de UplandArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4085-4085 | VolcanicCone est une sous-classe de Hill |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4385-4385 | Dune est une sous-classe de Hill |
![]() |