| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3975-3975 | LandForm est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3980-3980 | UplandArea est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3984-3984 | LowlandArea est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4012-4012 | MountainRange est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4026-4026 | Mountain est une sous-classe de LandForm |
| 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 4057-4057 | Volcano est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4101-4101 | SlopedArea est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4135-4135 | Plateau est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4154-4154 | Mesa est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4172-4172 | Butte est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4226-4226 | Valley est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4243-4243 | Basin est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4259-4259 | Canyon est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5757-5757 | RiverBank est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5776-5776 | Delta est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5793-5793 | Peninsula est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5807-5807 | Cape est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5841-5841 | Archipelago est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5911-5911 | Shoal est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5937-5937 | Reef est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5998-5998 | Glacier est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6048-6048 | CaveMatrix est une sous-classe de LandForm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6120-6120 | Seacoast est une sous-classe de LandForm |
|
|