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 6661-6661 |
草原 是 生物群落 的 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 6637-6637 |
绿洲 是 生物群落 的 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 6607-6607 |
沼泽 是 生物群落 的 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 6727-6727 |
苔原 是 生物群落 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11141-11141 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11140-11140 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11139-11139 |
|