|
|
   EquivalenceRelation
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Baking EnglishLanguage "Any instance of Cooking where the instrument is an Oven.") | Mid-level-ontology.kif 18863-18864 | |
| (externalImage Baking "http://upload.wikimedia.org/wikipedia/commons/3/3d/ Geutelingen2.jpg") | pictureList.kif 4525-4525 | |
| (subclass Baking Cooking) | Mid-level-ontology.kif 18861-18861 | |
| (subclass Baking Heating) | Mid-level-ontology.kif 18862-18862 |
| 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 18865-18870 |
| consequent |
|
|
| (=> (instance ?B BreadOrBiscuit) (exists (?D ?BAKE) (and (instance ?D Dough) (instance ?BAKE Baking) (resource ?BAKE ?D) (result ?BAKE ?B)))) |
Mid-level-ontology.kif 18877-18884 | |
| (=> (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 |
|
|
|
