| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6345-6345 | Biome e' uma sub-classe de Ecosystem |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6362-6362 | RainForest e' uma sub-classe de Biome |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6376-6376 | TemperateHardwoodForest e' uma sub-classe de Biome |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6379-6379 | BorealForest e' uma sub-classe de Biome |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6597-6597 | Jungle e' uma sub-classe de Biome |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6607-6607 | Swamp e' uma sub-classe de Biome |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6637-6637 | Oasis e' uma sub-classe de Biome |
| 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 6727-6727 | Tundra e' uma sub-classe de Biome |
|
|