| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6345-6345 | 生物群落 是 生态系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6362-6362 | 雨林 是 生物群落 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6376-6376 | 温带硬木林 是 生物群落 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6379-6379 | 针叶林 是 生物群落 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6597-6597 | 丛林 是 生物群落 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6607-6607 | 沼泽 是 生物群落 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6637-6637 | 绿洲 是 生物群落 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6661-6661 | 草原 是 生物群落 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6727-6727 | 苔原 是 生物群落 的 subclass |
|
|