| 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 |
|
|
| (documentation Pasta EnglishLanguage "Pasta is a generic term for a boiled food of different shapes made from an unleavened dough of wheat or buckwheat flour and water, sometimes with other ingredients such as eggs and vegetable extracts. Pastas include varieties that are filled with other ingredients like ravioli and tortellini. [Wikipedia]") | Food.kif 2745-2749 | |
| (subclass Pasta PreparedFood) | Food.kif 2744-2744 | Pasta is a subclass of prepared food |
| appearance as argument number 2 |
|
|
| (subclass Couscous Pasta) | Food.kif 2547-2547 | Couscous is a subclass of pasta |
| (subclass Linguine Pasta) | Food.kif 2627-2627 | Linguine is a subclass of pasta |
| (subclass Penne Pasta) | Food.kif 2767-2767 | Penne is a subclass of pasta |
| (subclass Spaghetti Pasta) | Food.kif 3463-3463 | Spaghetti is a subclass of pasta |
| (subclass Ziti Pasta) | Food.kif 3655-3655 | Ziti is a subclass of pasta |
| (termFormat EnglishLanguage Pasta "pasta") | domainEnglishFormat.kif 65319-65319 | Ziti is a subclass of pasta |
| antecedent |
|
|
| (=> (and (instance ?X Pasta) (not (exists (?Y) (and (instance ?Y Pasta) (part ?Y ?X))))) (attribute ?X LongAndThin)) |
Food.kif 2629-2637 |
|
| (=> (instance ?P Pasta) (exists (?D ?C) (and (instance ?D Dough) (instance ?C Cooking) (resource ?C ?D) (result ?C ?P)))) |
Food.kif 2755-2762 |
|
| (=> (instance ?P Pasta) (material WheatFlour ?P)) |
Food.kif 2751-2753 |
|
|
|
|