(=>
(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 |
If traveler accommodation is an attribute of X, then X has the purpose there exist Y, Z, W such that X rents Z to Y during W, Z is an instance of hotel unit, and Z is an element of belongings of X |
(=>
(and
(rents ?GUEST ?HOTEL ?ROOM ?TI)
(attribute ?HOTEL TravelerAccommodation)
(instance ?ROOM HotelUnit))
(holdsDuring ?TI
(guest ?GUEST ?HOTEL))) |
Hotel.kif 69-75 |
If X rents Y to Z during W, traveler accommodation is an attribute of X, and Y is an instance of hotel unit, then Z is a guest at X holds during W |
(=>
(and
(attribute ?X TravelerAccommodation)
(element ?CASINO
(PropertyFn ?X))
(instance ?CASINO Casino))
(attribute ?X CasinoHotels)) |
Hotel.kif 1463-1468 |
If traveler accommodation is an attribute of X, Y is an element of belongings of X, and Y is an instance of casino, then casino hotels is an attribute of X |
(=>
(and
(employs ?HOTEL ?ATHLETE)
(attribute ?HOTEL TravelerAccommodation)
(attribute ?ATHLETE TennisProfessional)
(guest ?CUST ?HOTEL))
(modalAttribute
(exists (?TENNIS ?LOC)
(and
(instance ?TENNIS Tennis)
(contestParticipant ?TENNIS ?ATHLETE)
(contestParticipant ?TENNIS ?CUST)
(located ?TENNIS ?LOC)
(located ?HOTEL ?LOC))) Possibility)) |
Hotel.kif 1533-1546 |
If X employs Y, traveler accommodation is an attribute of X, tennis pro is an attribute of Y, and Z is a guest at X, then the statement there exist W, V such that W is an instance of tennis, Y participates in W, Z participates in W, W is located at V, and X is located at V has the modal force of possibility |
(=>
(and
(instance ?X Nursery)
(element ?X
(PropertyFn ?HOTEL))
(attribute ?HOTEL TravelerAccommodation))
(exists (?NANNY ?CARE)
(and
(attribute ?X CommunalAttribute)
(employs ?HOTEL ?NANNY)
(hasPurpose ?NANNY
(and
(instance ?CARE ChildCareService)
(serviceProvider ?CARE ?NANNY)))))) |
Hotel.kif 1920-1932 |
If X is an instance of nursery, X is an element of belongings of Y, and traveler accommodation is an attribute of Y, then there exist Z, W such that communal is an attribute of X, Y employs Z, Z has the purpose W is an instance of child-care service, and Z provides a service during W |
(=>
(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 1953-1964 |
If traveler accommodation is an attribute of X and X is capable of doing service as a agent, then All of the following hold: (1) there exist Y (2) Z such that X employs Y (3) maid is an attribute of Y (4) Z is an instance of hotel unit (5) Z is a part of belongings of X (6) Z is capable of doing service as a patient (7) Y is capable of doing service as a service provider |
(=>
(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 2410-2425 |
If All of the following hold: (1) X is a customer of Y (2) X employs Z (3) traveler accommodation is an attribute of X (4) porter is an attribute of Z (5) Y possesses W (6) W is an instance of travel container, then there exist V, U such that V is an instance of hotel unit, U is an instance of carrying, Z is an agent of U, and U ends up at V or U originates at V |
more pictures...