No TPTP formula. May not be expressible in strict first order. | Geography.kif 2658-2658 | Ecosystem e' uma sub-classe de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6345-6345 | Biome e' uma sub-classe de Ecosystem |