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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DryCleaningService

Sigma KEE - DryCleaningService
DryCleaningServicedry-clean, dry_clean

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


s__documentation(s__DryCleaningService,s__EnglishLanguage,'DryCleaningService refers to cleaning of Clothing using some chemical solvent instead of water')

Hotel.kif 1749-1750
s__subclass(s__DryCleaningService,s__ServiceProcess)

Hotel.kif 1748-1748

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


s__termFormat(s__EnglishLanguage,s__DryCleaningService,'dry-clean')

Hotel.kif 1751-1751

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1753-1763

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


( ! [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 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