| Pasta | |
| 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 2738-2742 | |
| (subclass Pasta PreparedFood) | Food.kif 2737-2737 |
| appearance as argument number 2 |
|
|
| (subclass Couscous Pasta) | Food.kif 2540-2540 | |
| (subclass Linguine Pasta) | Food.kif 2620-2620 | |
| (subclass Penne Pasta) | Food.kif 2760-2760 | |
| (subclass Spaghetti Pasta) | Food.kif 3456-3456 | |
| (subclass Ziti Pasta) | Food.kif 3648-3648 | |
| (termFormat EnglishLanguage Pasta "pasta") | domainEnglishFormat.kif 65296-65296 |
| antecedent |
|
|
| (=> (and (instance ?X Pasta) (not (exists (?Y) (and (instance ?Y Pasta) (part ?Y ?X))))) (attribute ?X LongAndThin)) |
Food.kif 2622-2630 | |
| (=> (instance ?P Pasta) (exists (?D ?C) (and (instance ?D Dough) (instance ?C Cooking) (resource ?C ?D) (result ?C ?P)))) |
Food.kif 2748-2755 | |
| (=> (instance ?P Pasta) (material WheatFlour ?P)) |
Food.kif 2744-2746 |
|
|
|