Reservation - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Reservation,s__EnglishLanguage,'"a Reservation is a type of Agreement between 2 agents that some resource offered by the one agent is allotted for use or consumption by another at a specific bounded time"')

Dining.kif 594-596

Dining.kif 593-593

appearance as argument number 2

s__subclass(s__DiningReservation,s__Reservation) s__instance(s__DiningReservation,s__SetOrClass) s__instance(s__Reservation,s__SetOrClass)	Dining.kif 698-698	Dining reservation is a subclass of reservation
s__subclass(s__FlightReservation,s__Reservation) s__instance(s__FlightReservation,s__SetOrClass) s__instance(s__Reservation,s__SetOrClass)	Hotel.kif 2788-2788	Flight reservation is a subclass of reservation
s__subclass(s__HotelReservation,s__Reservation) s__instance(s__Reservation,s__SetOrClass) s__instance(s__HotelReservation,s__SetOrClass)	Hotel.kif 2798-2798	Hotel reservation is a subclass of reservation
s__subclass(s__TourReservation,s__Reservation) s__instance(s__TourReservation,s__SetOrClass) s__instance(s__Reservation,s__SetOrClass)	Hotel.kif 2793-2793	Tour reservation is a subclass of reservation
s__instance(s__TravelReservation,s__SetOrClass) s__instance(s__Reservation,s__SetOrClass) s__subclass(s__TravelReservation,s__Reservation)	Hotel.kif 2775-2775	Travel reservation is a subclass of reservation
s__termFormat(s__EnglishLanguage,s__Reservation,'"reservation"')	Dining.kif 597-597

appearance as argument number 3

s__domain(s__fulfillingEntity__m,n__2,s__Reservation)	Dining.kif 641-641	The number 2 argument of fulfillingEntity is an instance of reservation
s__domain(s__numberOfCustomers__m,n__2,s__Reservation)	Dining.kif 684-684	The number 2 argument of numberOfCustomers is an instance of reservation
s__domain(s__rateDetail__m,n__1,s__Reservation)	Hotel.kif 2943-2943	The number 1 argument of rate detail is an instance of reservation
s__domain(s__reservationChannel__m,n__2,s__Reservation)	Dining.kif 626-626	The number 2 argument of reservationChannel is an instance of reservation
s__domain(s__reservationEnd__m,n__2,s__Reservation)	Dining.kif 663-663	The number 2 argument of reservationEnd is an instance of reservation
s__domain(s__reservationStart__m,n__2,s__Reservation)	Dining.kif 656-656	The number 2 argument of reservationStart is an instance of reservation
s__domain(s__reservedPackage__m,n__1,s__Reservation)	Hotel.kif 2925-2925	The number 1 argument of reserved package is an instance of reservation
s__domain(s__reservingEntity__m,n__2,s__Reservation)	Dining.kif 611-611	The number 2 argument of reservingEntity is an instance of reservation

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 725-748	If an agent is an instance of agent and a cognitive agent is a potential customer for the agent and the statement an entity is an instance of reserving and the entity ends up at the agent has the modal force of necessity and probability of there exists the entityES1 such that the entityES1 is an instance of reservation and the cognitive agent reserves the entityES1 and the agent fulfills the entityES1 provided that the agent is a customer of the cognitive agent holds is a real number and probability of there doesn't exist the entityES2 such that the entityES2 is an instance of reservation and the cognitive agent reserves the entityES2 and the agent fulfills the entityES2 provided that the agent is a customer of the cognitive agent holds is another real number, then the other real number is less than the real number
( ! [V__R] : ((s__instance(V__R,s__Reservation) => (( ? [V__P] : ((s__instance(V__P,s__Reserving) & s__result(V__P,V__R)))))) ) )	Dining.kif 599-604	If an entity is an instance of reservation, then there exists a process such that the process is an instance of reserving and the entity is a result of the process