|
|
   Baking
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Baking EnglishLanguage "Any instance of Cooking where the instrument is an Oven.") | Mid-level-ontology.kif 19224-19225 | |
| (externalImage Baking "http://upload.wikimedia.org/wikipedia/commons/3/3d/ Geutelingen2.jpg") | pictureList.kif 4525-4525 | |
| (subclass Baking Cooking) | Mid-level-ontology.kif 19222-19222 | |
| (subclass Baking Heating) | Mid-level-ontology.kif 19223-19223 |
| appearance as argument number 2 |
|
|
| (subclass Toasting Baking) | Society.kif 932-932 | |
| (termFormat EnglishLanguage Baking "baking") | domainEnglishFormat.kif 2042-2042 |
| antecedent |
|
|
| (=> (instance ?B Baking) (exists (?O) (and (instance ?O Oven) (instrument ?B ?O)))) |
Mid-level-ontology.kif 19226-19231 |
| consequent |
|
|
| (=> (instance ?B BreadOrBiscuit) (exists (?D ?BAKE) (and (instance ?D Dough) (instance ?BAKE Baking) (resource ?BAKE ?D) (result ?BAKE ?B)))) |
Mid-level-ontology.kif 19238-19245 | |
| (=> (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 | |
| (=> (instance ?T ElectricToaster) (hasPurpose ?T (exists (?TOASTING) (and (instance ?TOASTING Baking) (instrument ?TOASTING ?T))))) |
Society.kif 938-944 |
|
|
|
