No TPTP formula. May not be expressible in strict first order. | Merge.kif 14541-14541 | 子類 Crustacean and Arthropod |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1968-1968 | 子類 蝦 and Crustacean |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2542-2542 | 子類 Crab and Crustacean |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2651-2651 | 子類 Lobster and Crustacean |