(=>
(fulfillingEntity ?ENTITY ?RESERVE)
(exists (?P)
(and
(instance ?P Reserving)
(destination ?P ?ENTITY)
(result ?P ?RESERVE)))) |
Dining.kif 689-695 |
If X fulfills Y, then there exists Z such that Z is an instance of reserving, Z ends up at X, and Y is a result of Z |
(=>
(and
(reservationStart ?TIME1 ?R)
(reservationEnd ?TIME2 ?R)
(reservingEntity ?CUST ?R)
(fulfillingEntity ?AGENT ?R))
(modalAttribute
(holdsDuring
(TimeIntervalFn ?TIME1 ?TIME2)
(exists (?P)
(and
(instance ?P IntentionalProcess)
(agent ?P ?AGENT)
(destination ?P ?CUST)))) Likely)) |
Dining.kif 711-724 |
If X starts at Y, X ends at Z, W reserves X, and V fulfills X, then the statement there exists U such that U is an instance of intentional process, V is an agent of U, U ends up at W holds during interval between Y, and Z has the modal force of likely |
(=>
(and
(numberOfCustomers ?NUM ?RESERVE)
(fulfillingEntity ?AGENT ?RESERVE)
(reservingEntity ?CUST ?RESERVE))
(exists (?GRP)
(and
(potentialCustomer ?GRP ?AGENT)
(instance ?GRP GroupOfPeople)
(member ?CUST ?GRP)
(memberCount ?GRP ?NUM)))) |
Dining.kif 732-742 |
If X is for Y customers, Z fulfills X, and W reserves X, then there exists V such that V is a potential customer for Z, V is an instance of group of people, W is a member of V, and Y is a member count of V |
(=>
(and
(instance ?AGENT AutonomousAgent)
(potentialCustomer ?CUST ?AGENT)
(modalAttribute
(and
(instance ?R Reserving)
(destination ?R ?AGENT)) Necessity)
(conditionalProbability
(exists (?RES1)
(and
(instance ?RES1 Reservation)
(reservingEntity ?CUST ?RES1)
(fulfillingEntity ?AGENT ?RES1)))
(customer ?CUST ?AGENT) ?NUM1)
(conditionalProbability
(not
(exists (?RES2)
(and
(instance ?RES2 Reservation)
(reservingEntity ?CUST ?RES2)
(fulfillingEntity ?AGENT ?RES2))))
(customer ?CUST ?AGENT) ?NUM2))
(lessThan ?NUM2 ?NUM1)) |
Dining.kif 772-795 |
If X is an instance of agent, Y is a potential customer for X, the statement Z is an instance of reserving and Z ends up at X has the modal force of necessity, probability of there exists W such that W is an instance of reservation, Y reserves W, and X fulfills W provided that X is a customer of Y holds is V, and probability of there doesn't exist U such that U is an instance of reservation, Y reserves U, and X fulfills U provided that X is a customer of Y holds is T, then T is less than V |
(=>
(and
(fulfillingEntity ?AGENT ?RESERVE)
(instance ?RESERVE HotelReservation))
(attribute ?AGENT TravelerAccommodation)) |
Hotel.kif 2865-2869 |
If X fulfills Y and Y is an instance of hotel reservation, then traveler accommodation is an attribute of X |
(=>
(and
(numberOccupant ?RESERVE ?NUM)
(fulfillingEntity ?HOTEL ?RESERVE))
(exists (?COL)
(and
(instance ?COL GroupOfPeople)
(memberType ?COL Human)
(memberCount ?COL ?NUM)
(potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2882-2891 |
If X may have Y occupants and Z fulfills X, then there exists W such that W is an instance of group of people, human is a member type of W, Y is a member count of W, and W is a potential customer for Z |
(=>
(and
(numberAdultOccupant ?RESERVE ?NUM)
(fulfillingEntity ?HOTEL ?RESERVE))
(exists (?COL)
(and
(instance ?COL GroupOfPeople)
(memberType ?COL HumanAdult)
(memberCount ?COL ?NUM)
(potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2901-2910 |
If X may have Y adults and Z fulfills X, then there exists W such that W is an instance of group of people, human adult is a member type of W, Y is a member count of W, and W is a potential customer for Z |
(=>
(and
(numberChildOccupant ?RESERVE ?NUM)
(fulfillingEntity ?HOTEL ?RESERVE))
(exists (?COL ?SUBCOL)
(and
(instance ?COL GroupOfPeople)
(subCollection ?SUBCOL ?COL)
(instance ?SUBCOL GroupOfPeople)
(memberType ?SUBCOL HumanChild)
(memberCount ?SUBCOL ?NUM)
(potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2921-2932 |
If X may have Y children and Z fulfills X, then All of the following hold: (1) there exist W (2) V such that W is an instance of group of people (3) V is a proper sub-collection of W (4) V is an instance of group of people (5) human child is a member type of V (6) Y is a member count of V (7) W is a potential customer for Z |
(=>
(and
(numberSeniorOccupant ?RESERVE ?NUM)
(fulfillingEntity ?HOTEL ?RESERVE))
(exists (?COL ?AGE)
(and
(instance ?COL GroupOfPeople)
(forall (?X)
(=>
(member ?X ?COL)
(and
(instance ?X HumanAdult)
(age ?X
(MeasureFn ?AGE YearDuration))
(greaterThanOrEqualTo ?AGE 60))))
(memberCount ?COL ?NUM)
(potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2943-2958 |
If X is for Y seniors and Z fulfills X, then there exist W and V such that W is an instance of group of people and U U is a member of WU is an instance of human adult and the age of U is V year duration(s) and V is greater than or equal to 60 and Y is a member count of W and W is a potential customer for Z |
