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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Reserving

Sigma KEE - Reserving
Reserving

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

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


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

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