Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Reservation
Reservation(reservation)booking, reservation

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
s__instance(s__Agreement,s__SetOrClass)

s__subclass(s__Reservation,s__Agreement)

s__instance(s__Reservation,s__SetOrClass)

Dining.kif 593-593 Reservation is a subclass of agreement

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
( ! [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


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 is open source software produced by Articulate Software and its partners