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

Formal Language: 



KB Term:  Term intersection
English Word: 

  reservationStart

Sigma KEE - reservationStart
reservationStart

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


(documentation reservationStart EnglishLanguage "(reservationStart ?TIME ?RESERVE) means that the use of a resource or consumption of a service which is the object of ?RESERVE starts at ?TIME") Dining.kif 656-658
(domain reservationStart 1 TimePoint) Dining.kif 659-659
(domain reservationStart 2 Reservation) Dining.kif 660-660
(instance reservationStart BinaryPredicate) Dining.kif 655-655

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


(format EnglishLanguage reservationStart "%2 starts at %1") domainEnglishFormat.kif 1111-1111

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


(=>
    (and
        (reservationStart ?TIME1 ?R)
        (reservationEnd ?TIME2 ?R)
        (reservingEntity ?CUST ?R)
        (fulfillingEntity ?AGENT ?R))
    (modalAttribute
        (holdsDuring
            (TimeIntervalFn ?TIME1 ?TIME2)
            (exists (?P)
                (and
                    (instance ?P IntentionalProcess)
                    (agent ?P ?AGENT)
                    (destination ?P ?CUST)))) Likely))
Dining.kif 669-682
(=>
    (and
        (reservedRoom ?RESERVE ?ROOMTYPE)
        (reservationStart ?RESERVE ?TIME1)
        (reservationEnd ?RESERVE ?TIME2)
        (reservingEntity ?RESERVE ?CUST))
    (modalAttribute
        (holdsDuring
            (TimeIntervalFn ?TIME1 ?TIME2)
            (and
                (instance ?X ?ROOMTYPE)
                (stays ?CUST ?X))) Likely))
Hotel.kif 2887-2898


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