Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Stove(stove)
|  | Primus, Primus_stove, charcoal_burner, cooking_stove, cookstove, electric_range, kitchen_range, kitchen_stove, range, stove |
| appearance as argument number 1 |
|
|
| (subclass Stove MajorAppliance) | Mid-level-ontology.kif 2874-2874 | Stove is a subclass of major appliance |
| (subclass Stove HeatingDevice) | Mid-level-ontology.kif 2929-2929 | Stove is a subclass of heating device |
| (documentation Stove EnglishLanguage "A HeatingDevice which consists one or more burners for heating pots and pans of Food.") | Mid-level-ontology.kif 2930-2931 | Stove is a subclass of heating device |
| (subclass Stove FoodProcessingAppliance) | HouseholdAppliances.kif 771-771 | Stove is a subclass of food processing appliance |
| (externalImage Stove "http://articulatesoftware.com/SUMOpictures/household/ kitchen/ stove.png") | pictureList.kif 756-756 | Stove is a subclass of food processing appliance |
| (externalImage Stove "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ b4/ Gas_range.svg/ 180px_Gas_range.svg.png") | pictureList.kif 1079-1079 | Stove is a subclass of food processing appliance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?S Stove) (hasPurpose ?S (exists (?C) (and (instance ?C Cooking) (instrument ?C ?S))))) |
Mid-level-ontology.kif 2933-2939 | If X is an instance of stove, then X has the purpose there exists Y such that Y is an instance of cooking and X is an instrument for Y |
| (=> (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 |
|