Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Frying(frying) |  | brown, deep-fat-fry, deep-fry, french-fry, frizzle, fry, frying, griddle, pan-fry, saute, sauteing, stir_fry |
| appearance as argument number 1 |
|
|
| (subclass Frying Cooking) | Food.kif 2590-2590 | Frying is a subclass of cooking |
| (subclass Frying Heating) | Food.kif 2591-2591 | Frying is a subclass of heating |
| (documentation Frying EnglishLanguage "^%Frying is the cooking of food in oil or another fat, a technique that originated in ancient Egypt around 2500 BC.") | Society.kif 739-739 | Frying is a subclass of heating |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Frying "frying") | domainEnglishFormat.kif 64899-64899 |
| antecedent |
|
|
| (=> (instance ?F Frying) (exists (?O) (and (instance ?O Oil) (resource ?F ?O)))) |
Food.kif 2593-2598 | If X is an instance of frying, then there exists Y such that Y is an instance of oil and Y is a resource for X |
| consequent |
|
|
| (=> (instance ?O Omelette) (exists (?F) (and (instance ?F Frying) (result ?F ?O)))) |
Food.kif 2729-2734 | If X is an instance of omelette, then there exists Y such that Y is an instance of frying and X is a result of Y |
| (=> (instance ?P Pancake) (exists (?F) (and (instance ?F Frying) (result ?F ?P)))) |
Food.kif 2752-2757 | If X is an instance of pancake, then there exists Y such that Y is an instance of frying and X is a result of Y |
| (=> (instance ?DF DeepFryer) (hasPurpose ?DF (exists (?FRY) (and (instance ?FRY Frying) (instrument ?FRY ?DF))))) |
Society.kif 731-737 | If X is an instance of DeepFryer, then X has the purpose there exists Y such that Y is an instance of frying and X is an instrument for Y |
|