reservationStart - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - reservationStart

reservationStart

appearance as argument number 1

(documentation reservationStart EnglishLanguage "(reservationStart ?TIME ?RESERVE) means that the use of a resource or consumption of a service which is the object of ?RESERVE starts at ?TIME")	Dining.kif 698-700
(domain reservationStart 1 TimePoint)	Dining.kif 701-701	The number 1 argument of reservation start is an instance of time point
(domain reservationStart 2 Reservation)	Dining.kif 702-702	The number 2 argument of reservation start is an instance of reservation
(instance reservationStart BinaryPredicate)	Dining.kif 697-697	reservation start is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage reservationStart "%2 starts 在 %1 ")	domainEnglishFormat.kif 4402-4402
(format ChineseTraditionalLanguage reservationStart "%2 starts 在 %1 ")	domainEnglishFormat.kif 4401-4401
(format EnglishLanguage reservationStart "%2 starts at %1")	domainEnglishFormat.kif 4400-4400
(termFormat EnglishLanguage reservationStart "reservation start")	domainEnglishFormat.kif 65984-65984

antecedent

(=> (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 a reservation starts at a time point and the reservation ends at another time point and an agent reserves the reservation and another agent fulfills the reservation, then the statement there exists an entity such that the entity is an instance of intentional process and the other agent is an agent of the entity and the entity ends up at the agent holds during interval between the time point and the other time point has the modal force of likely
(=> (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 2951-2963	If a hotel reservation is a reservation for a kind of hotel unit and a reservation starts at the hotel reservation and another reservation ends at the hotel reservation and the hotel reservation reserves a third reservation, then the statement there exists an entity such that the entity is an instance of a kind of hotel unit and the third reservation stays at the entity holds during interval between the reservation and the other reservation 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 is open source software produced by Articulate Software and its partners