(=>
(and
(instance ?POLICY DailyHousekeepingPolicy)
(policyOwner ?AGENT ?POLICY))
(modalAttribute
(exists (?GUEST ?ROOM ?STAY)
(and
(guest ?GUEST ?AGENT)
(stays ?GUEST ?ROOM)
(equal ?STAY
(WhenFn
(stays ?GUEST ?ROOM)))
(holdsDuring ?STAY
(forall (?DAY)
(=>
(and
(instance ?DAY Day)
(during ?DAY ?STAY))
(exists (?RC)
(and
(instance ?RC RoomCleaningService)
(patient ?RC ?ROOM)
(during ?RC ?DAY)))))))) Likely)) |
Hotel.kif 2654-2674 |
|
(=>
(and
(instance ?POLICY NoHousekeepingPolicy)
(policyOwner ?AGENT ?POLICY)
(attribute ?AGENT TravelerAccommodation))
(modalAttribute
(exists (?GUEST ?ROOM)
(and
(guest ?GUEST ?AGENT)
(holdsDuring
(WhenFn
(stays ?GUEST ?ROOM))
(not
(exists (?CLEAN)
(and
(instance ?CLEAN RoomCleaningService)
(patient ?CLEAN ?ROOM))))))) Likely)) |
Hotel.kif 2681-2697 |
|
(=>
(and
(instance ?POLICY WithHousekeepingPolicy)
(policyOwner ?AGENT ?POLICY)
(attribute ?AGENT TravelerAccommodation))
(modalAttribute
(exists (?GUEST ?ROOM)
(and
(guest ?GUEST ?AGENT)
(holdsDuring
(WhenFn
(stays ?GUEST ?ROOM))
(exists (?CLEAN)
(and
(instance ?CLEAN RoomCleaningService)
(patient ?CLEAN ?ROOM)))))) Likely)) |
Hotel.kif 2704-2719 |
|
(=>
(and
(maxRoomCapacity ?ROOM ?NUM)
(instance ?X ?ROOM)
(element ?X
(PropertyFn ?AGENT)))
(modalAttribute
(exists (?GRP ?PPL)
(and
(instance ?GRP GroupOfPeople)
(memberCount ?GRP ?PPL)
(lessThanOrEqualTo ?PPL ?NUM)
(stays ?GRP ?X))) Possibility)) |
Hotel.kif 479-490 |
|
(=>
(and
(reservedRoom ?RESERVE ?ROOMTYPE)
(reservationStart ?RESERVE ?TIME1)
(reservationEnd ?RESERVE ?TIME2)
(reservingEntity ?RESERVE ?CUST))
(modalAttribute
(holdsDuring
(TimeIntervalFn ?TIME1 ?TIME2)
(exists (?X)
(and
(instance ?X ?ROOMTYPE)
(stays ?CUST ?X)))) Likely)) |
Hotel.kif 2951-2963 |
|
(=>
(attribute ?X ChildrenSuite)
(hasPurpose ?X
(exists (?CHILD)
(and
(instance ?CHILD HumanChild)
(stays ?CHILD ?X))))) |
Hotel.kif 1029-1035 |
|
(=>
(attribute ?X ExclusiveFemaleLevel)
(forall (?Y)
(=>
(and
(instance ?Y HotelRoom)
(located ?Y ?X))
(hasPurpose ?Y
(exists (?HUMAN)
(and
(attribute ?HUMAN Female)
(stays ?HUMAN ?Y))))))) |
Hotel.kif 1243-1254 |
|
(=>
(attribute ?X ExecutiveLevel)
(forall (?Y)
(=>
(and
(instance ?Y HotelRoom)
(located ?Y ?X))
(hasPurpose ?Y
(exists (?HUMAN)
(and
(attribute ?HUMAN BusinessExecutive)
(instance ?HUMAN Human)
(stays ?HUMAN ?Y))))))) |
Hotel.kif 1224-1236 |
|
(=>
(attribute ?X FemaleExecutiveRoom)
(hasPurpose ?X
(exists (?HUMAN)
(and
(instance ?HUMAN Human)
(attribute ?HUMAN Female)
(attribute ?HUMAN BusinessExecutive)
(stays ?HUMAN ?X))))) |
Hotel.kif 1042-1050 |
|
(=>
(instance ?SVC ExecutiveService)
(exists (?HUMAN ?LEVEL ?ROOM)
(and
(serviceRecipient ?SVC ?HUMAN)
(stays ?HUMAN ?ROOM)
(located ?ROOM ?LEVEL)
(attribute ?LEVEL ExecutiveLevel)))) |
Hotel.kif 2245-2252 |
|
(=>
(instance ?SVC ValetLaundryService)
(exists (?CUST ?AGENT ?LOC ?CLOTHES ?LAUNDRY ?PICKUP ?DELIVERY)
(and
(customer ?CUST ?AGENT)
(stays ?CUST ?LOC)
(agent ?SVC ?AGENT)
(instance ?CLOTHES Clothing)
(instance ?PICKUP Getting)
(located ?PICKUP ?LOC)
(patient ?PICKUP ?CLOTHES)
(agent ?PICKUP ?AGENT)
(or
(instance ?LAUNDRY LaundryService)
(instance ?LAUNDRY DryCleaningService))
(agent ?LAUNDRY ?AGENT)
(patient ?LAUNDRY ?CLOTHES)
(instance ?DELIVERY DeliveryService)
(patient ?DELIVERY ?CLOTHES)
(destination ?DELIVERY ?LOC)
(before
(BeginFn
(WhenFn ?PICKUP))
(BeginFn
(WhenFn ?LAUNDRY)))
(before
(BeginFn
(WhenFn ?LAUNDRY))
(BeginFn
(WhenFn ?DELIVERY)))))) |
Hotel.kif 1827-1848 |
- Wenn Process ist ein fall von ValetLaundryService %n{nicht},
- dann es gibt Human, AutonomousAgent,, , TemporaryResidence,, , Entity,, , ** Process,, , ** Process, and und ** Process um customer ** Human and ** AutonomousAgent und stays ** Human and ** TemporaryResidence und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Entity ist ein fall von Clothing %n{nicht} und ** ** Process ist ein fall von Getting %n{nicht} und ** ** Process befindet sich an %n{nicht} und ** Entity ist ein patient von ** ** Process %n{nicht} und ** ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** ** Process ist ein fall von LaundryService %n{nicht} oder ** ** Process ist ein fall von DryCleaningService %n{nicht} und ** ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Entity ist ein patient von ** ** Process %n{nicht} und ** ** Process ist ein fall von DeliveryService %n{nicht} und ** Entity ist ein patient von ** ** Process %n{nicht} und ** ** Process endet an ** TemporaryResidence %n{nicht} und der anfang von die zeit des Bestehens von ** ** Process geschieht vor der anfang von die zeit des Bestehens von ** ** Process %n{nicht} und der anfang von die zeit des Bestehens von ** ** Process geschieht vor der anfang von die zeit des Bestehens von ** ** Process %n{nicht}
|