Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| reservationEnd |
| appearance as argument number 1 |
|
| (instance reservationEnd BinaryPredicate) | Dining.kif 704-704 | reservation end is an instance of binary predicate |
| (documentation reservationEnd EnglishLanguage "(reservationEnd ?TIME ?RESERVE) means that the use of a resource or consumption of a service which is the object of ?RESERVE is expected to end at ?TIME") | Dining.kif 705-707 | reservation end is an instance of binary predicate |
| (domain reservationEnd 1 TimePoint) | Dining.kif 708-708 | The number 1 argument of reservation end is an instance of time point |
| (domain reservationEnd 2 Reservation) | Dining.kif 709-709 | The number 2 argument of reservation end is an instance of reservation |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage reservationEnd "%2 ends at %1") | domainEnglishFormat.kif 4400-4400 | |
| (format ChineseTraditionalLanguage reservationEnd "%2 ends 在 %1 ") | domainEnglishFormat.kif 4401-4401 | |
| (format ChineseLanguage reservationEnd "%2 ends 在 %1 ") | domainEnglishFormat.kif 4402-4402 | |
| (termFormat EnglishLanguage reservationEnd "reservation end") | domainEnglishFormat.kif 65954-65954 |
| 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 |
|