(=>
(and
(attribute ?X Waiter)
(instance ?X Human)
(employs ?REST ?X)
(instance ?REST Restaurant)
(customer ?CUST ?REST)
(located ?CUST ?TABLE)
(instance ?TABLE Table))
(exists (?DINING ?C ?FOOD ?KITCHEN)
(and
(possesses ?REST ?KITCHEN)
(instance ?KITCHEN KitchenArea)
(instance ?DINING DiningArea)
(located ?TABLE ?DINING)
(hasPurpose ?X
(and
(instance ?C Carrying)
(agent ?C ?X)
(origin ?C ?KITCHEN)
(destination ?C ?TABLE)
(patient ?C ?FOOD)
(instance ?FOOD
(FoodForFn Human))))))) |
Mid-level-ontology.kif 20383-20405 |
|