No TPTP formula. May not be expressible in strict first order. | Geography.kif 2658-2658 | Ecosystem is a subclass of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6345-6345 | Biome is a subclass of ecosystem |