| No TPTP formula. May not be expressible in strict first order. | Food.kif 2737-2737 | Pasta 是 已准备食物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2540-2540 | Couscous 是 Pasta 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2620-2620 | Linguine 是 Pasta 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2760-2760 | Penne 是 Pasta 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3456-3456 | Spaghetti 是 Pasta 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3648-3648 | Ziti 是 Pasta 的 subclass |
|
|