Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CookerPad(cooker pad) |
| appearance as argument number 1 |
|
| (subclass CookerPad FoodProcessingAppliance) | HouseholdAppliances.kif 738-738 | Cooker pad is a subclass of food processing appliance |
| (subclass CookerPad HeatingDevice) | HouseholdAppliances.kif 739-739 | Cooker pad is a subclass of heating device |
| (documentation CookerPad EnglishLanguage "A MajorAppliance designed for cooking food by heating PotOrPan containing it.") | HouseholdAppliances.kif 740-740 | Cooker pad is a subclass of heating device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?DEVICE CookerPad) (hasPurpose ?DEVICE (exists (?PAN ?FOOD ?HEATING) (and (instance ?PAN PotOrPan) (instance ?FOOD PreparedFood) (instance ?HEATING Heating) (instrument ?HEATING ?DEVICE) (patient ?HEATING ?FOOD) (located ?FOOD ?PAN))))) |
HouseholdAppliances.kif 743-753 | If X is an instance of cooker pad, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of pot or pan (3) Z is an instance of food (4) W is an instance of heating (5) X is an instrument for W (6) Z is a patient of W (7) Z is located at Y |
| consequent |
|
|
| (=> (instance ?D Stove) (exists (?PAD ?OVEN) (and (instance ?PAD CookerPad) (instance ?OVEN Oven) (part ?D ?PAD) (part ?D ?OVEN)))) |
HouseholdAppliances.kif 773-780 | If X is an instance of stove, then there exist Y, Z such that Y is an instance of cooker pad, Z is an instance of oven, X is a part of Y, and X is a part of Z |
|