No TPTP formula. May not be expressible in strict first order. | Food.kif 2737-2737 | Pasta e' uma sub-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2540-2540 | Couscous e' uma sub-classe de Pasta |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2620-2620 | Linguine e' uma sub-classe de Pasta |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2760-2760 | Penne e' uma sub-classe de Pasta |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3456-3456 | Spaghetti e' uma sub-classe de Pasta |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3648-3648 | Ziti e' uma sub-classe de Pasta |
![]() |