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 622-624
(domain reservationChannel 1 Physical) Dining.kif 625-625
(domain reservationChannel 2 Reservation) Dining.kif 626-626
(instance reservationChannel BinaryPredicate) Dining.kif 621-621

appearance as argument number 2
-------------------------


(format ChineseLanguage reservationChannel "%1 是 used 在创造 %2 ") domainEnglishFormat.kif 4399-4399
(format ChineseTraditionalLanguage reservationChannel "%1 是 used 在創造 %2 ") domainEnglishFormat.kif 4398-4398
(format EnglishLanguage reservationChannel "%1 was used in creating %2") domainEnglishFormat.kif 4397-4397

antecedent
-------------------------


(=>
    (reservationChannel ?ENTITY ?RESERVE)
    (exists (?P)
        (and
            (instance ?P Reserving)
            (instrument ?P ?ENTITY)
            (result ?P ?RESERVE))))
Dining.kif 628-634


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners