| Pasta(pasta) | | alimentary_paste, bowtie_pasta, cappelletti, egg_noodle, farfalle, fedelline, fettuccine, fettuccini, lasagna, lasagne, macaroni, manicotti, noodle, orzo, pasta, ravioli, rigatoni, tagliatelle, tortellini, vermicelli |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2738-2742 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2737-2737 | Pasta is a subclass of prepared food |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2540-2540 | Couscous is a subclass of pasta |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2620-2620 | Linguine is a subclass of pasta |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2760-2760 | Penne is a subclass of pasta |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3456-3456 | Spaghetti is a subclass of pasta |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3648-3648 | Ziti is a subclass of pasta |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65296-65296 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2622-2630 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2748-2755 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2744-2746 |
|
|
|
|