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
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 594-596
No TPTP formula. May not be expressible in strict first order. Dining.kif 593-593 Reservation is a subclass of agreement

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 698-698 Dining reservation is a subclass of reservation
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2774-2774 Flight reservation is a subclass of reservation
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2784-2784 Hotel reservation is a subclass of reservation
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2779-2779 Tour reservation is a subclass of reservation
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2761-2761 Travel reservation is a subclass of reservation
No TPTP formula. May not be expressible in strict first order. Dining.kif 597-597

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 641-641 The number 2 argument of fulfillingEntity is an instance of reservation
No TPTP formula. May not be expressible in strict first order. Dining.kif 684-684 The number 2 argument of numberOfCustomers is an instance of reservation
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2929-2929 The number 1 argument of rate detail is an instance of reservation
No TPTP formula. May not be expressible in strict first order. Dining.kif 626-626 The number 2 argument of reservationChannel is an instance of reservation
No TPTP formula. May not be expressible in strict first order. Dining.kif 663-663 The number 2 argument of reservationEnd is an instance of reservation
No TPTP formula. May not be expressible in strict first order. Dining.kif 656-656 The number 2 argument of reservationStart is an instance of reservation
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2911-2911 The number 1 argument of reserved package is an instance of reservation
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners