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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ServiceProcess
ServiceProcessservice

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


s__documentation(s__ServiceProcess,s__ChineseLanguage,'ServiceProcess 表示一类事件的类别, 当中一个实施体事向另外一个实施体提供服务。服务的形式不需要具有商业性质,也不需要 serviceRecipientserviceProvider 付款作为服务酬劳。')

Merge.kif 11769-11771
s__documentation(s__ServiceProcess,s__EnglishLanguage,'ServiceProcess denotes the class of events in which one agent performs a service for another. The service need not be commercial, and it need not be the case that the serviceRecipient pays or recompenses the serviceProvider for the service.')

Merge.kif 11764-11768
s__instance(s__SocialInteraction,s__SetOrClass)

Merge.kif 11763-11763

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


s__instance(s__CateringService,s__SetOrClass)

Dining.kif 530-530
s__instance(s__ServiceProcess,s__SetOrClass)

Hotel.kif 2089-2089
s__instance(s__ServiceProcess,s__SetOrClass)

Hotel.kif 2122-2122
s__subclass(s__ChildCareService,s__ServiceProcess)

Hotel.kif 1810-1810
s__subclass(s__CommercialService,s__ServiceProcess)

Merge.kif 11778-11778
s__subclass(s__CurrencyExchangeService,s__ServiceProcess)

Hotel.kif 2039-2039
s__subclass(s__DryCleaningService,s__ServiceProcess)

Hotel.kif 1748-1748
s__instance(s__ExecutiveService,s__SetOrClass)

Hotel.kif 2181-2181
s__subclass(s__IroningService,s__ServiceProcess)

Hotel.kif 1794-1794
s__instance(s__LaundryService,s__SetOrClass)

Hotel.kif 1724-1724
s__instance(s__ServiceProcess,s__SetOrClass)

Hotel.kif 2216-2216
s__instance(s__PhotocopyingService,s__SetOrClass)

Hotel.kif 2067-2067
s__subclass(s__RoomCleaningService,s__ServiceProcess)

Hotel.kif 1862-1862
s__subclass(s__RoomService,s__ServiceProcess)

Hotel.kif 1908-1908
s__instance(s__ServiceProcess,s__SetOrClass)

Hotel.kif 2196-2196
s__instance(s__SecretarialService,s__SetOrClass)

Hotel.kif 2235-2235
s__subclass(s__TourService,s__ServiceProcess)

Hotel.kif 2025-2025
s__subclass(s__TransportationService,s__ServiceProcess)

Transportation.kif 3252-3252
s__subclass(s__TurndownService,s__ServiceProcess)

Hotel.kif 1892-1892
s__instance(s__ValetLaundryService,s__SetOrClass)

Hotel.kif 1765-1765
s__instance(s__ServiceProcess,s__SetOrClass)

TransportDetail.kif 141-141
s__instance(s__WakeUpService,s__SetOrClass)

Hotel.kif 1933-1933
s__termFormat(s__EnglishLanguage,s__ServiceProcess,'service')

domainEnglishFormat.kif 9135-9135

appearance as argument number 3
-------------------------


s__domain(s__serviceInstrument__m,1,s__ServiceProcess)

TravelPolicies.kif 758-758
s__domain(s__serviceProvider__m,1,s__ServiceProcess)

Mid-level-ontology.kif 20725-20725
s__domain(s__serviceRecipient__m,1,s__ServiceProcess)

Mid-level-ontology.kif 20736-20736
s__domainSubclass(s__allRoomsServiceAmenity__m,2,s__ServiceProcess)

Hotel.kif 211-211
s__domainSubclass(s__someRoomsServiceAmenity__m,2,s__ServiceProcess)

Hotel.kif 196-196

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


( ! [V__EVENT] :
   (s__instance(V__EVENT,s__ServiceProcess) =>
     (? [V__PROVIDER] :
       (s__instance(V__PROVIDER,s__CognitiveAgent) &
         s__serviceProvider(V__EVENT,V__PROVIDER))))
)

Mid-level-ontology.kif 20745-20750
( ! [V__EVENT] :
   (s__instance(V__EVENT,s__ServiceProcess) =>
     (? [V__RECEIVER] :
       (s__instance(V__RECEIVER,s__CognitiveAgent) &
         s__serviceRecipient(V__EVENT,V__RECEIVER))))
)

Mid-level-ontology.kif 20753-20758
( ! [V__X] :
   (s__instance(V__X,s__ServiceProcess) =>
     (? [V__AGENT,V__CUST] :
       (s__serviceProvider(V__X,V__AGENT)
       &
       s__serviceRecipient(V__X,V__CUST)
     &
     (~ (V__AGENT = V__CUST)))))
)

Hotel.kif 1716-1722

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


( ! [V__ENTITY,V__ATTR,V__AGENT] :
   ((s__subjectiveAttribute(V__ENTITY,V__ATTR,V__AGENT)
     &
     s__instance(V__ATTR,s__ServiceRating) &
     s__instance(V__ENTITY,s__Agent))
   =>
   (? [V__SVC,V__CLASSIFY] :
     (s__instance(V__SVC,s__ServiceProcess) &
       s__agent(V__SVC,V__ENTITY)
     &
     s__instance(V__CLASSIFY,s__Classifying) &
     s__destination(V__CLASSIFY,V__SVC)
   &
   s__patient(V__CLASSIFY,V__ATTR))))
)

Hotel.kif 3019-3030
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3010-3017
( ! [V__C,V__SERVICE,V__CUST] :
   (s__property(V__C,s__ServiceContract) =>
     (? [V__SP] :
       (s__instance(V__SP,s__ServiceProcess) &
         s__realization(V__SP,V__C)
       &
       s__serviceProvider(V__SP,V__SERVICE)
     &
     s__serviceRecipient(V__SP,V__CUST)
   &
   s__partyToAgreement(V__C,V__SERVICE)
&
s__partyToAgreement(V__C,V__CUST))))
)

Mid-level-ontology.kif 11815-11824


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