| 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. | Food.kif 1968-1968 | 虾 是 甲壳类动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2542-2542 | Crab 是 甲壳类动物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2651-2651 | Lobster 是 甲壳类动物 的 subclass |
|
|