No TPTP formula. May not be expressible in strict first order. | Geography.kif 6661-6661 | Grassland est une sous-classe de Biome |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6662-6662 | Grassland est une sous-classe de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6671-6671 | Prairie est une sous-classe de Grassland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6677-6677 | Pampa est une sous-classe de Grassland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6687-6687 | Savanna est une sous-classe de Grassland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6713-6713 | Veldt est une sous-classe de Grassland |