| Kitchen(kitchen)
| | kitchen |
| appearance as argument number 1 |
|
|
| (subclass Kitchen Room) | Mid-level-ontology.kif 17079-17079 | Kitchen is a subclass of room |
| (subclass Kitchen KitchenArea) | Mid-level-ontology.kif 17080-17080 | Kitchen is a subclass of kitchen area |
| (documentation Kitchen EnglishLanguage "A Room intended for Cooking.") | Mid-level-ontology.kif 17081-17081 | Kitchen is a subclass of kitchen area |
| (externalImage Kitchen "http://articulatesoftware.com/SUMOpictures/household/ kitchen_2/ kitchen.png") | pictureList.kif 540-540 | Kitchen is a subclass of kitchen area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ROOM Kitchen) (hasPurpose ?ROOM (exists (?COOK) (and (instance ?COOK Cooking) (located ?COOK ?ROOM))))) |
Mid-level-ontology.kif 17083-17089 | If X is an instance of kitchen, then X has the purpose there exists Y such that Y is an instance of cooking and Y is located at X |
|
|
|