antecedent

(=>     (reservingEntity ?ENTITY ?RESERVE)     (exists (?P)         (and             (instance ?P Reserving)             (agent ?P ?ENTITY)             (result ?P ?RESERVE))))	Dining.kif 659-665	If X reserves Y, then there exists Z such that Z is an instance of reserving, X is an agent of Z, 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         (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 2969-2981	If X is a reservation for Y, Z starts at X, W ends at X, and X reserves V, then the statement there exists U such that U is an instance of Y, V stays at U holds during interval between Z, and W has the modal force of likely
(=>     (and         (reservedPackage ?RESERVE ?PACKAGE)         (reservingEntity ?RESERVE ?CUST))     (modalAttribute         (exists (?PROC)             (and                 (realization ?PROC ?PACKAGE)                 (experiencer ?PROC ?CUST))) Likely))	Hotel.kif 2991-2999	If X is a reservation for Y and X reserves Z, then the statement there exists W such that W expresses the content of Y and Z experiences W has the modal force of likely

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners