(=>
(and
(attribute ?X ?Y)
(instance ?Y HotelRoomAttribute))
(instance ?X HotelUnit)) |
Hotel.kif 956-960 |
|
(=>
(and
(attribute ?X TravelerAccommodation)
(capability RoomCleaningService agent ?X))
(exists (?MAID ?HOTELROOM)
(and
(employs ?X ?MAID)
(attribute ?MAID Maid)
(instance ?HOTELROOM HotelUnit)
(part ?HOTELROOM
(PropertyFn ?X))
(capability RoomCleaningService patient ?HOTELROOM)
(capability RoomCleaningService serviceProvider ?MAID)))) |
Hotel.kif 1910-1921 |
|
(=>
(and
(customer ?CUST ?AGENT)
(employs ?AGENT ?X)
(attribute ?AGENT TravelerAccommodation)
(attribute ?X Porter)
(possesses ?CUST ?LUGGAGE)
(instance ?LUGGAGE TravelContainer))
(exists (?ROOM ?CARRY)
(and
(instance ?ROOM HotelUnit)
(instance ?CARRY Carrying)
(agent ?CARRY ?X)
(or
(destination ?CARRY ?ROOM)
(origin ?CARRY ?ROOM))))) |
Hotel.kif 2365-2380 |
|
(=>
(attribute ?X TravelerAccommodation)
(hasPurpose ?X
(exists (?GUEST ?ROOM ?TI)
(and
(rents ?GUEST ?X ?ROOM ?TI)
(instance ?ROOM HotelUnit)
(element ?ROOM
(PropertyFn ?X)))))) |
Hotel.kif 45-52 |
|
(=>
(instance ?SVC RoomService)
(exists (?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC)
(and
(customer ?CUSTOMER ?AGENT)
(agent ?SVC ?AGENT)
(instance ?RQST Requesting)
(agent ?RQST ?CUSTOMER)
(patient ?RQST ?ORDER)
(represents ?ORDER ?FOOD)
(instance ?FOOD PreparedFood)
(located ?CUSTOMER ?LOC)
(instance ?LOC HotelUnit)
(instance ?DELIVERY DeliveryService)
(patient ?DELIVERY ?FOOD)
(destination ?DELIVERY ?LOC)
(before
(BeginFn
(WhenFn ?RQST))
(BeginFn
(WhenFn ?DELIVERY)))))) |
Hotel.kif 1944-1962 |
- If a process is an instance of room service,
- then there exist a cognitive agent, an entity,, , another cognitive agent,, , another process,, , another entity,, , a third process and an object such that the cognitive agent is a customer of the other cognitive agent and the cognitive agent is an agent of the process and the other process is an instance of requesting and the other cognitive agent is an agent of the other process and the other entity is a patient of the other process and the other entity expresses the entity and the entity is an instance of prepared food and the other cognitive agent is located at the object and the object is an instance of hotel unit and the third process is an instance of delivery service and the entity is a patient of the third process and the third process ends up at the object and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the third process
|
(=>
(instance ?X RoomInventory)
(memberType ?X HotelUnit)) |
Hotel.kif 138-140 |
|