| No TPTP formula. May not be expressible in strict first order. | Food.kif 2737-2737 | Pasta est une sous-classe de PreparedFood |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2540-2540 | Couscous est une sous-classe de Pasta |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2620-2620 | Linguine est une sous-classe de Pasta |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2760-2760 | Penne est une sous-classe de Pasta |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3456-3456 | Spaghetti est une sous-classe de Pasta |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3648-3648 | Ziti est une sous-classe de Pasta |
|
|