No TPTP formula. May not be expressible in strict first order. | Merge.kif 14587-14587 | Crustaceo e' uma sub-classe de Artropode |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1968-1968 | Prawn e' uma sub-classe de Crustaceo |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2542-2542 | Crab e' uma sub-classe de Crustaceo |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2651-2651 | Lobster e' uma sub-classe de Crustaceo |