reservationChannel |
appearance as argument number 1 |
(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 | |
(domain reservationChannel 1 Physical) | Dining.kif 671-671 | O argumento numero 1 de reservationChannel e' uma instancia de Fisico |
(domain reservationChannel 2 Reservation) | Dining.kif 672-672 | O argumento numero 2 de reservationChannel e' uma instancia de Reservation |
(instance reservationChannel BinaryPredicate) | Dining.kif 667-667 | reservationChannel e' uma instancia de Predicado Binario |
appearance as argument number 2 |
(format ChineseLanguage reservationChannel "%1 是 used 在创造 %2 ") | domainEnglishFormat.kif 4394-4394 | |
(format ChineseTraditionalLanguage reservationChannel "%1 是 used 在創造 %2 ") | domainEnglishFormat.kif 4393-4393 | |
(format EnglishLanguage reservationChannel "%1 was used in creating %2") | domainEnglishFormat.kif 4392-4392 | |
(termFormat EnglishLanguage reservationChannel "reservation channel") | domainEnglishFormat.kif 65925-65925 |
antecedent |
(=> (reservationChannel ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (instrument ?P ?ENTITY) (result ?P ?RESERVE)))) |
Dining.kif 674-680 |
|