TreeView Knowledge Base Browser - 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	域 reservationChannel, 1 and Physical
(domain reservationChannel 2 Reservation)	Dining.kif 672-672	域 reservationChannel, 2 and Reservation
(instance reservationChannel BinaryPredicate)	Dining.kif 667-667	例 reservationChannel and BinaryPredicate

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

Object 是 used 在創造 Reservation
Process 例 Process and Reserving 儀器 Process and Object 結果 Process and Reservation

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: