Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| reservationChannel |
| appearance as argument number 1 |
|
| (instance reservationChannel BinaryPredicate) | Dining.kif 667-667 | reservation channel is an instance of binary predicate |
| (documentation reservationChannel EnglishLanguage "(reservationChannel ?ENTITY ?RESERVE) means that ?ENTITY was used by the reservingEntity in order to create the reservation, like an intermediary agent.") | Dining.kif 668-670 | reservation channel is an instance of binary predicate |
| (domain reservationChannel 1 Physical) | Dining.kif 671-671 | The number 1 argument of reservation channel is an instance of physical |
| (domain reservationChannel 2 Reservation) | Dining.kif 672-672 | The number 2 argument of reservation channel is an instance of reservation |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage reservationChannel "%1 was used in creating %2") | domainEnglishFormat.kif 4396-4396 | |
| (format ChineseTraditionalLanguage reservationChannel "%1 是 used 在創造 %2 ") | domainEnglishFormat.kif 4397-4397 | |
| (format ChineseLanguage reservationChannel "%1 是 used 在创造 %2 ") | domainEnglishFormat.kif 4398-4398 | |
| (termFormat EnglishLanguage reservationChannel "reservation channel") | domainEnglishFormat.kif 65953-65953 |
| antecedent |
|
|
| (=> (reservationChannel ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (instrument ?P ?ENTITY) (result ?P ?RESERVE)))) |
Dining.kif 674-680 | If X was used in creating Y, then there exists Z such that Z is an instance of reserving, X is an instrument for Z, and Y is a result of Z |
|