| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14524-14524 | 节肢动物 是 无脊椎动物 的 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 14533-14533 | 多足动物 是 节肢动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14537-14537 | 昆虫 是 节肢动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14541-14541 | 甲壳类动物 是 节肢动物 的 subclass |
|
|