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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeliveryService
DeliveryService(delivery service)RFD, delivery_service, post, rural_free_delivery

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


(documentation DeliveryService EnglishLanguage "DeliveryService refers to the Transfer of an Agent bringing objects purchased from Agent to a location indicated by the customer") Dining.kif 486-488
(subclass DeliveryService Transfer) Dining.kif 485-485 Delivery service is a subclass of transfer

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


(termFormat EnglishLanguage DeliveryService "delivery service") Dining.kif 489-489 "delivery service" is the printable form of delivery service in english language

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


(=>
    (and
        (instance ?D DeliveryService)
        (agent ?D ?AGENT))
    (capability DeliveryService agent ?AGENT))
Dining.kif 491-495
(=>
    (and
        (instance ?D DeliveryService)
        (destination ?D ?LOC1)
        (deliveryRegion ?AGENT ?REGION)
        (conditionalProbability
            (located ?LOC1 ?REGION)
            (agent ?D ?AGENT) ?NUMBER1)
        (conditionalProbability
            (not
                (located ?LOC1 ?REGION))
            (agent ?D ?AGENT) ?NUMBER2))
    (lessThan ?NUMBER2 ?NUMBER1))
Dining.kif 511-520
(=>
    (and
        (instance ?D DeliveryService)
        (origin ?D ?LOC1)
        (destination ?D ?LOC2))
    (not
        (equal ?LOC1 ?LOC2)))
Dining.kif 523-528

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


(=>
    (and
        (instance ?D DeliveryService)
        (agent ?D ?AGENT))
    (capability DeliveryService agent ?AGENT))
Dining.kif 491-495
(=>
    (deliveryRegion ?AGENT ?REGION)
    (capability DeliveryService agent ?AGENT))
Dining.kif 505-507
(=>
    (instance ?SVC RoomService)
    (exists (?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC)
        (and
            (customer ?CUSTOMER ?AGENT)
            (agent ?SVC ?AGENT)
            (instance ?RQST Requesting)
            (agent ?RQST ?CUSTOMER)
            (patient ?RQST ?ORDER)
            (represents ?ORDER ?FOOD)
            (instance ?FOOD PreparedFood)
            (located ?CUSTOMER ?LOC)
            (instance ?LOC HotelUnit)
            (instance ?DELIVERY DeliveryService)
            (patient ?DELIVERY ?FOOD)
            (destination ?DELIVERY ?LOC)
            (before
                (BeginFn
                    (WhenFn ?RQST))
                (BeginFn
                    (WhenFn ?DELIVERY))))))
Hotel.kif 1913-1931
(=>
    (instance ?SVC ValetLaundryService)
    (exists (?CUST ?AGENT ?LOC ?CLOTHES ?LAUNDRY ?PICKUP ?DELIVERY)
        (and
            (customer ?CUST ?AGENT)
            (stays ?CUST ?LOC)
            (agent ?SVC ?AGENT)
            (instance ?CLOTHES Clothing)
            (instance ?PICKUP Getting)
            (located ?PICKUP ?LOC)
            (patient ?PICKUP ?CLOTHES)
            (agent ?PICKUP ?AGENT)
            (or
                (instance ?LAUNDRY LaundryService)
                (instance ?LAUNDRY DryCleaningService))
            (agent ?LAUNDRY ?AGENT)
            (patient ?LAUNDRY ?CLOTHES)
            (instance ?DELIVERY DeliveryService)
            (patient ?DELIVERY ?CLOTHES)
            (destination ?DELIVERY ?LOC)
            (before
                (BeginFn
                    (WhenFn ?PICKUP))
                (BeginFn
                    (WhenFn ?LAUNDRY)))
            (before
                (BeginFn
                    (WhenFn ?LAUNDRY))
                (BeginFn
                    (WhenFn ?DELIVERY))))))
Hotel.kif 1771-1792


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