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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DryCleaningService

Sigma KEE - DryCleaningService
DryCleaningService(dry-clean)dry-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)

s__instance(s__ServiceProcess,s__SetOrClass)

s__instance(s__DryCleaningService,s__SetOrClass)

Hotel.kif 1748-1748 Dry-clean is a subclass of service

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


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

Hotel.kif 1751-1751 "dry-clean" is the printable form of dry-clean in english language

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)s__=>(s__exists__m[V__CUST,V__AGENT,V__LOC,V__CLOTHES,V__LAUNDRY,V__PICKUP,V__DELIVERY] :
       (s__instance(V__CUST,s__Human)s__and__ms__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__LOC,s__TemporaryResidence)s__and__m(s__customer(V__CUST,V__AGENT)
      s__and__ms__stays(V__CUST,V__LOC)
    s__and__ms__agent(V__SVC,V__AGENT)
  s__and__ms__instance(V__CLOTHES,s__Clothing)s__and__ms__instance(V__PICKUP,s__Getting)s__and__ms__located(V__PICKUP,V__LOC)
s__and__ms__patient(V__PICKUP,V__CLOTHES)
s__and__ms__agent(V__PICKUP,V__AGENT)
s__and__m(s__instance(V__LAUNDRY,s__LaundryService)s__or__ms__instance(V__LAUNDRY,s__DryCleaningService))
s__and__ms__agent(V__LAUNDRY,V__AGENT)
s__and__ms__patient(V__LAUNDRY,V__CLOTHES)
s__and__ms__instance(V__DELIVERY,s__DeliveryService)s__and__ms__patient(V__DELIVERY,V__CLOTHES)
s__and__ms__destination(V__DELIVERY,V__LOC)
s__and__ms__before(s__BeginFn(s__WhenFn(V__PICKUP))
,s__BeginFn(s__WhenFn(V__LAUNDRY)))
s__and__ms__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