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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Reserving
Reserving(reserving)book, hold, reservation, reserve, 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 714-716
(subclass Reserving Committing) Dining.kif 713-713 Reserving is a subclass of committing

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


(termFormat EnglishLanguage Reserving "reserving") Dining.kif 717-717 "reserving" is the printable form of reserving in english language

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 729-752
(=>
    (and
        (instance ?R Reserving)
        (agent ?R ?CUST)
        (destination ?R ?AGENT))
    (potentialCustomer ?CUST ?AGENT))
Dining.kif 719-724

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


(=>
    (fulfillingEntity ?ENTITY ?RESERVE)
    (exists (?P)
        (and
            (instance ?P Reserving)
            (destination ?P ?ENTITY)
            (result ?P ?RESERVE))))
Dining.kif 647-653
(=>
    (instance ?R Reservation)
    (exists (?P)
        (and
            (instance ?P Reserving)
            (result ?P ?R))))
Dining.kif 603-608
(=>
    (reservationChannel ?ENTITY ?RESERVE)
    (exists (?P)
        (and
            (instance ?P Reserving)
            (instrument ?P ?ENTITY)
            (result ?P ?RESERVE))))
Dining.kif 632-638
(=>
    (reservingEntity ?ENTITY ?RESERVE)
    (exists (?P)
        (and
            (instance ?P Reserving)
            (agent ?P ?ENTITY)
            (result ?P ?RESERVE))))
Dining.kif 617-623


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