No TPTP formula. May not be expressible in strict first order. | Merge.kif 14541-14541 | Crustacean is a subclass of arthropod |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1968-1968 | Shrimp is a subclass of crustacean |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2542-2542 | Crab is a subclass of crustacean |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2651-2651 | Lobster is a subclass of crustacean |