Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Baking(baking)
|  | bake, roast |
| appearance as argument number 1 |
|
|
| (subclass Baking Cooking) | Food.kif 1441-1441 | Baking is a subclass of cooking |
| (subclass Baking Heating) | Food.kif 1442-1442 | Baking is a subclass of heating |
| (documentation Baking EnglishLanguage "Any instance of Cooking where the instrument is an Oven.") | Food.kif 1443-1444 | Baking is a subclass of heating |
| (externalImage Baking "http://upload.wikimedia.org/wikipedia/commons/3/3d/ Geutelingen2.jpg") | pictureList.kif 4523-4523 | Baking is a subclass of heating |
| appearance as argument number 2 |
|
|
| (subclass Toasting Baking) | Society.kif 934-934 | Toasting is a subclass of baking |
| (termFormat EnglishLanguage Baking "baking") | domainEnglishFormat.kif 9640-9640 | Toasting is a subclass of baking |
| (termFormat ChineseTraditionalLanguage Baking "烘烤") | domainEnglishFormat.kif 9641-9641 | Toasting is a subclass of baking |
| (termFormat ChineseLanguage Baking "烘烤") | domainEnglishFormat.kif 9642-9642 | Toasting is a subclass of baking |
| antecedent |
|
|
| (=> (instance ?B Baking) (exists (?O) (and (instance ?O Oven) (instrument ?B ?O)))) |
Food.kif 1446-1451 | If X is an instance of baking, then there exists Y such that Y is an instance of oven and Y is an instrument for X |
| consequent |
|
|
| (=> (instance ?BAKERY Bakery) (exists (?SERVICE ?FOOD ?BAKE) (and (instance ?BAKE Baking) (result ?BAKE ?FOOD) (instance ?FOOD (FoodForFn Human)) (agent ?BAKE ?BAKERY) (instance ?SERVICE CommercialService) (agent ?SERVICE ?BAKERY) (instance ?SERVICE Selling) (patient ?SERVICE ?FOOD)))) |
Dining.kif 70-81 | If X is an instance of bakery, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of baking (3) Z is a result of W (4) Z is an instance of food for human (5) X is an agent of W (6) Y is an instance of commercial service (7) X is an agent of Y (8) Y is an instance of selling (9) Z is a patient of Y |
| (=> (instance ?B BreadOrBiscuit) (exists (?D ?BAKE) (and (instance ?D Dough) (instance ?BAKE Baking) (resource ?BAKE ?D) (result ?BAKE ?B)))) |
Food.kif 1551-1558 | If X is an instance of bread or biscuit, then there exist Y, Z such that Y is an instance of dough, Z is an instance of baking, Y is a resource for Z, and X is a result of Z |
| (=> (instance ?T ElectricToaster) (hasPurpose ?T (exists (?TOASTING) (and (instance ?TOASTING Baking) (instrument ?TOASTING ?T))))) |
Society.kif 940-946 | If X is an instance of ElectricToaster, then X has the purpose there exists Y such that Y is an instance of baking and X is an instrument for Y |
|