Esercizi su SUMO
(=>
(and
(attribute ?X Waiter)
(instance ?X Human)
(employs ?REST ?X)
(instance ?REST Restaurant)
(customer ?CUST ?REST)
(located ?CUST ?TABLE)
(instance ?TABLE Table))
(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))))))
(=>
(instance ?C Restaurant)
(exists (?S ?F ?B)
(and
(instance ?S CommercialService)
(agent ?S ?C)
(instance ?S Selling)
(instance ?B RestaurantBuilding)
(eventLocated ?S ?B)
(patient ?S ?F)
(instance ?F
(FoodForFn Human)))))
(=>
(instance ?R Restaurant)
(exists (?D)
(and
(possesses ?R ?D)
(instance ?D DiningArea))))
(=>
(instance ?M Map)
(exists (?A)
(and
(instance ?A GeographicArea)
(represents ?M ?A))))
(=>
(instance ?X DiningGuide)
(exists (?LOC ?REST)
(and
(instance ?LOC GeographicArea)
(refers ?X ?LOC)
(instance ?REST Restaurant)
(located ?REST ?LOC)
(refers ?X ?REST))))