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 | Il numero 1 argomenti di reservationChannel è un istanza di Entit�Concreta |
(domain reservationChannel 2 Reservation) | Dining.kif 672-672 | Il numero 2 argomenti di reservationChannel è un istanza di Reservation |
(instance reservationChannel BinaryPredicate) | Dining.kif 667-667 | reservationChannel è un' istanza di PredicatoBinario |
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 |
|