| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14525-14525 | 无脊椎动物 是 动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14529-14529 | 蠕虫 是 无脊椎动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14541-14541 | 软体动物 是 无脊椎动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14546-14546 | 节肢动物 是 无脊椎动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5965-5965 | 珊瑚 是 无脊椎动物 的 subclass |
|
|