| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4218-4218 | Plain est une sous-classe de LowlandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5743-5743 | CoastalPlain est une sous-classe de Plain |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6672-6672 | Prairie est une sous-classe de Plain |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6678-6678 | Pampa est une sous-classe de Plain |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6688-6688 | Savanna est une sous-classe de Plain |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6698-6698 | Steppe est une sous-classe de Plain |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6714-6714 | Veldt est une sous-classe de Plain |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6728-6728 | Tundra est une sous-classe de Plain |
|
|