Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PressureCooker(pressure cooker) |  | pressure_cooker |
| appearance as argument number 1 |
|
|
| (subclass PressureCooker Device) | Society.kif 801-801 | Pressure cooker is a subclass of device |
| (subclass PressureCooker HomeAppliance) | Society.kif 802-802 | Pressure cooker is a subclass of home appliance |
| (documentation PressureCooker EnglishLanguage "A pressure cooker is a sealed vessel used for pressure cooking. Pressure cooking is a method of cooking in a sealed vessel that does not permit air or liquids to escape below a preset pressure.") | Society.kif 803-804 | Pressure cooker is a subclass of home appliance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PressureCooker "pressure cooker") | domainEnglishFormat.kif 65358-65358 |
| antecedent |
|
|
| (=> (instance ?PC PressureCooker) (hasPurpose ?PC (exists (?COOKING) (and (instance ?COOKING Cooking) (instrument ?COOKING ?PC))))) |
Society.kif 805-811 | If X is an instance of pressure cooker, then X has the purpose there exists Y such that Y is an instance of cooking and X is an instrument for Y |
|