No TPTP formula. May not be expressible in strict first order. | Geography.kif 6661-6661 | Grassland is a subclass of biome |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6662-6662 | Grassland is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6671-6671 | Prairie is a subclass of grassland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6677-6677 | Pampa is a subclass of grassland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6687-6687 | Savanna is a subclass of grassland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6713-6713 | Veldt is a subclass of grassland |