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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Reserving
Reserving

VerbNet: get-13.5.1|reserve, get-13.5.1|reserve, get-13.5.1|reserve,


appearance as argument number 1
-------------------------


(documentation Reserving EnglishLanguage "Reserving is a type of Committing that dedicates a specific object or service to a destination resource or service for a specific time interval") Dining.kif 710-712
(subclass Reserving Committing) Dining.kif 709-709

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


(termFormat EnglishLanguage Reserving "reserving") Dining.kif 713-713

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


(=>
    (and
        (instance ?AGENT Agent)
        (potentialCustomer ?CUST ?AGENT)
        (modalAttribute
            (and
                (instance ?R Reserving)
                (destination ?R ?AGENT)) Necessity)
        (conditionalProbability
            (exists (?RES1)
                (and
                    (instance ?RES1 Reservation)
                    (reservingEntity ?CUST ?RES1)
                    (fulfillingEntity ?AGENT ?RES1)))
            (customer ?CUST ?AGENT) ?NUM1)
        (conditionalProbability
            (not
                (exists (?RES2)
                    (and
                        (instance ?RES2 Reservation)
                        (reservingEntity ?CUST ?RES2)
                        (fulfillingEntity ?AGENT ?RES2))))
            (customer ?CUST ?AGENT) ?NUM2))
    (lessThan ?NUM2 ?NUM1))
Dining.kif 725-748
(=>
    (and
        (instance ?R Reserving)
        (agent ?R ?CUST)
        (destination ?R ?AGENT))
    (potentialCustomer ?CUST ?AGENT))
Dining.kif 715-720

consequent
-------------------------


(=>
    (fulfillingEntity ?ENTITY ?RESERVE)
    (exists (?P)
        (and
            (instance ?P Reserving)
            (destination ?P ?ENTITY)
            (result ?P ?RESERVE))))
Dining.kif 643-649
(=>
    (instance ?R Reservation)
    (exists (?P)
        (and
            (instance ?P Reserving)
            (result ?P ?R))))
Dining.kif 599-604
(=>
    (reservationChannel ?ENTITY ?RESERVE)
    (exists (?P)
        (and
            (instance ?P Reserving)
            (instrument ?P ?ENTITY)
            (result ?P ?RESERVE))))
Dining.kif 628-634
(=>
    (reservingEntity ?ENTITY ?RESERVE)
    (exists (?P)
        (and
            (instance ?P Reserving)
            (agent ?P ?ENTITY)
            (result ?P ?RESERVE))))
Dining.kif 613-619


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