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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeliveryService
DeliveryServiceRFD, delivery_service, post, rural_free_delivery

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


s__documentation(s__DeliveryService,s__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
s__subclass(s__DeliveryService,s__Transfer)

Dining.kif 485-485

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


s__termFormat(s__EnglishLanguage,s__DeliveryService,'delivery service')

Dining.kif 489-489

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


( ! [V__D,V__AGENT] :
   ((s__instance(V__D,s__DeliveryService) &
       s__agent(V__D,V__AGENT))
   =>
   s__capability(s__DeliveryService,s__agent__m,V__AGENT))
)

Dining.kif 491-495
No TPTP formula. May not be expressible in strict first order. Dining.kif 511-520
( ! [V__D,V__LOC1,V__LOC2] :
   ((s__instance(V__D,s__DeliveryService) &
       s__origin(V__D,V__LOC1)
     &
     s__destination(V__D,V__LOC2))
=>
(~ (V__LOC1 = V__LOC2)))
)

Dining.kif 523-528

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


( ! [V__D,V__AGENT] :
   ((s__instance(V__D,s__DeliveryService) &
       s__agent(V__D,V__AGENT))
   =>
   s__capability(s__DeliveryService,s__agent__m,V__AGENT))
)

Dining.kif 491-495
( ! [V__AGENT,V__REGION] :
   (s__deliveryRegion(V__AGENT,V__REGION)
   =>
   s__capability(s__DeliveryService,s__agent__m,V__AGENT))
)

Dining.kif 505-507
( ! [V__SVC] :
   (s__instance(V__SVC,s__RoomService) =>
     (? [V__AGENT,V__FOOD,V__CUSTOMER,V__RQST,V__ORDER,V__DELIVERY,V__LOC] :
       (s__customer(V__CUSTOMER,V__AGENT)
       &
       s__agent(V__SVC,V__AGENT)
     &
     s__instance(V__RQST,s__Requesting) &
     s__agent(V__RQST,V__CUSTOMER)
   &
   s__patient(V__RQST,V__ORDER)
&
s__represents(V__ORDER,V__FOOD)
&
s__instance(V__FOOD,s__PreparedFood) &
s__located(V__CUSTOMER,V__LOC)
&
s__instance(V__LOC,s__HotelUnit) &
s__instance(V__DELIVERY,s__DeliveryService) &
s__patient(V__DELIVERY,V__FOOD)
&
s__destination(V__DELIVERY,V__LOC)
&
s__before(s__BeginFn(s__WhenFn(V__RQST))
,s__BeginFn(s__WhenFn(V__DELIVERY))))))
)

Hotel.kif 1913-1931
( ! [V__SVC] :
   (s__instance(V__SVC,s__ValetLaundryService) =>
     (? [V__CUST,V__AGENT,V__LOC,V__CLOTHES,V__LAUNDRY,V__PICKUP,V__DELIVERY] :
       (s__customer(V__CUST,V__AGENT)
       &
       s__stays(V__CUST,V__LOC)
     &
     s__agent(V__SVC,V__AGENT)
   &
   s__instance(V__CLOTHES,s__Clothing) &
   s__instance(V__PICKUP,s__Getting) &
   s__located(V__PICKUP,V__LOC)
&
s__patient(V__PICKUP,V__CLOTHES)
&
s__agent(V__PICKUP,V__AGENT)
&
(s__instance(V__LAUNDRY,s__LaundryService) |
s__instance(V__LAUNDRY,s__DryCleaningService))
&
s__agent(V__LAUNDRY,V__AGENT)
&
s__patient(V__LAUNDRY,V__CLOTHES)
&
s__instance(V__DELIVERY,s__DeliveryService) &
s__patient(V__DELIVERY,V__CLOTHES)
&
s__destination(V__DELIVERY,V__LOC)
&
s__before(s__BeginFn(s__WhenFn(V__PICKUP))
,s__BeginFn(s__WhenFn(V__LAUNDRY)))
&
s__before(s__BeginFn(s__WhenFn(V__LAUNDRY))
,s__BeginFn(s__WhenFn(V__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