Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - reservationChannel
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 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
(instance reservationChannel BinaryPredicate) Dining.kif 667-667 reservation channel is an instance of binary predicate

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


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners