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

Formal Language: 



KB Term:  Term intersection
English Word: 

  reservationChannel

 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
(domain reservationChannel 2 Reservation) Dining.kif 672-672
(instance reservationChannel BinaryPredicate) Dining.kif 667-667

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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