No TPTP formula. May not be expressible in strict first order. | Geography.kif 6661-6661 | Grassland e' uma sub-classe de Biome |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6662-6662 | Grassland e' uma sub-classe de Area terrestre |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6671-6671 | Prairie e' uma sub-classe de Grassland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6677-6677 | Pampa e' uma sub-classe de Grassland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6687-6687 | Savanna e' uma sub-classe de Grassland |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6713-6713 | Veldt e' uma sub-classe de Grassland |