Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| reservationStart |
| appearance as argument number 1 |
|
| (instance reservationStart BinaryPredicate) | Dining.kif 697-697 | reservation start is an instance of binary predicate |
| (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 | reservation start is an instance of binary predicate |
| (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 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage reservationStart "%2 starts at %1") | domainEnglishFormat.kif 4404-4404 | |
| (format ChineseTraditionalLanguage reservationStart "%2 starts 在 %1 ") | domainEnglishFormat.kif 4405-4405 | |
| (format ChineseLanguage reservationStart "%2 starts 在 %1 ") | domainEnglishFormat.kif 4406-4406 | |
| (termFormat EnglishLanguage reservationStart "reservation start") | domainEnglishFormat.kif 65955-65955 |
| 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 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 (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 |
|