| 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. | Merge.kif 14551-14551 | 蛛形䋞动物 是 节肢动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14555-14555 | 多足动物 是 节肢动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14559-14559 | 昆虫 是 节肢动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14563-14563 | 甲壳类动物 是 节肢动物 的 subclass |
|
|