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 数量是物理的 instance
(domain reservationChannel 2 Reservation)	Dining.kif 672-672	reservationChannel 的 2 数量是 Reservation 的 instance
(instance reservationChannel BinaryPredicate)	Dining.kif 667-667	reservationChannel 是二元谓语的 instance

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 65923-65923

antecedent

(=>
    (reservationChannel ?ENTITY ?RESERVE)
    (exists (?P)
        (and
            (instance ?P Reserving)
            (instrument ?P ?ENTITY)
            (result ?P ?RESERVE))))

Dining.kif 674-680

如果客体是 used 在创造 Reservation ，
然后有存在过程这样那个过程是 Reserving 的 instance 和那个客体是导致那个过程的 instrument 和那个 Reservation 是那个过程的 result

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

KB Term:			Term intersection

English Word: