Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Cheetah
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Pasta PreparedFood) | Food.kif 2765-2765 | Pasta is a subclass of food |
| (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 2766-2770 | Pasta is a subclass of food |
| appearance as argument number 2 |
|
|
| (subclass Couscous Pasta) | Food.kif 2564-2564 | Couscous is a subclass of pasta |
| (subclass Linguine Pasta) | Food.kif 2646-2646 | Linguine is a subclass of pasta |
| (subclass Penne Pasta) | Food.kif 2789-2789 | Penne is a subclass of pasta |
| (subclass Spaghetti Pasta) | Food.kif 3492-3492 | Spaghetti is a subclass of pasta |
| (subclass Ziti Pasta) | Food.kif 3687-3687 | Ziti is a subclass of pasta |
| (termFormat EnglishLanguage Pasta "pasta") | domainEnglishFormat.kif 65299-65299 | 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 2648-2656 | If X is an instance of pasta and there doesn't exist Y such that Y is an instance of pasta and Y is a part of X, then long and thin is an attribute of X |
| (=> (instance ?P Pasta) (material WheatFlour ?P)) |
Food.kif 2772-2774 | If X is an instance of pasta, then X is made of wheat flour |
| (=> (instance ?P Pasta) (exists (?D ?C) (and (instance ?D Dough) (instance ?C Cooking) (resource ?C ?D) (result ?C ?P)))) |
Food.kif 2776-2783 | If X is an instance of pasta, then there exist Y, Z such that Y is an instance of dough, Z is an instance of cooking, Y is a resource for Z, and X is a result of Z |
| consequent |
|
|
| (=> (instance ?PM PastaMaker) (hasPurpose ?PM (exists (?MAKE ?PASTA) (and (instance ?MAKE Making) (result ?MAKE ?PASTA) (instance ?PASTA Pasta) (instrument ?MAKE ?PM))))) |
Society.kif 774-782 | If X is an instance of PastaMaker, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is a result of Y, Z is an instance of pasta, and X is an instrument for Y |
|