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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ServiceProcess
ServiceProcess(service)service

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


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

Merge.kif 11827-11829
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 11822-11826
s__subclass(s__ServiceProcess,s__SocialInteraction)

s__instance(s__ServiceProcess,s__SetOrClass)

s__instance(s__SocialInteraction,s__SetOrClass)

Merge.kif 11821-11821 Service is a subclass of social interaction

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


s__instance(s__ServiceProcess,s__SetOrClass)

s__instance(s__CateringService,s__SetOrClass)

s__subclass(s__CateringService,s__ServiceProcess)

Dining.kif 530-530 Catering is a subclass of service
s__instance(s__CheckInService,s__SetOrClass)

s__subclass(s__CheckInService,s__ServiceProcess)

s__instance(s__ServiceProcess,s__SetOrClass)

Hotel.kif 2089-2089 Check-in service is a subclass of service
s__instance(s__CheckOutService,s__SetOrClass)

s__instance(s__ServiceProcess,s__SetOrClass)

s__subclass(s__CheckOutService,s__ServiceProcess)

Hotel.kif 2122-2122 Check-out service is a subclass of service
s__subclass(s__ChildCareService,s__ServiceProcess)

s__instance(s__ChildCareService,s__SetOrClass)

s__instance(s__ServiceProcess,s__SetOrClass)

Hotel.kif 1810-1810 Child-care service is a subclass of service
s__instance(s__ServiceProcess,s__SetOrClass)

s__instance(s__CommercialService,s__SetOrClass)

s__subclass(s__CommercialService,s__ServiceProcess)

Merge.kif 11836-11836 Commercial service is a subclass of service
s__instance(s__CurrencyExchangeService,s__SetOrClass)

s__instance(s__ServiceProcess,s__SetOrClass)

s__subclass(s__CurrencyExchangeService,s__ServiceProcess)

Hotel.kif 2039-2039 Currency exchange is a subclass of service
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
s__subclass(s__ExecutiveService,s__ServiceProcess)

s__instance(s__ExecutiveService,s__SetOrClass)

s__instance(s__ServiceProcess,s__SetOrClass)

Hotel.kif 2181-2181 Executive service is a subclass of service
s__instance(s__IroningService,s__SetOrClass)

s__instance(s__ServiceProcess,s__SetOrClass)

s__subclass(s__IroningService,s__ServiceProcess)

Hotel.kif 1794-1794 Ironing service is a subclass of service
s__instance(s__ServiceProcess,s__SetOrClass)

s__subclass(s__LaundryService,s__ServiceProcess)

s__instance(s__LaundryService,s__SetOrClass)

Hotel.kif 1724-1724 Laundry service is a subclass of service
s__subclass(s__MedicalService,s__ServiceProcess)

s__instance(s__MedicalService,s__SetOrClass)

s__instance(s__ServiceProcess,s__SetOrClass)

Hotel.kif 2216-2216 Medical service is a subclass of service
s__instance(s__PhotocopyingService,s__SetOrClass)

s__instance(s__ServiceProcess,s__SetOrClass)

s__subclass(s__PhotocopyingService,s__ServiceProcess)

Hotel.kif 2067-2067 Photocopying service is a subclass of service
s__instance(s__ServiceProcess,s__SetOrClass)

s__instance(s__RoomCleaningService,s__SetOrClass)

s__subclass(s__RoomCleaningService,s__ServiceProcess)

Hotel.kif 1862-1862 Service is a subclass of service
s__instance(s__RoomService,s__SetOrClass)

s__subclass(s__RoomService,s__ServiceProcess)

s__instance(s__ServiceProcess,s__SetOrClass)

Hotel.kif 1908-1908 Room service is a subclass of service
s__subclass(s__SafetyDepositService,s__ServiceProcess)

s__instance(s__ServiceProcess,s__SetOrClass)

s__instance(s__SafetyDepositService,s__SetOrClass)

Hotel.kif 2196-2196 Safety deposit box is a subclass of service
s__instance(s__SecretarialService,s__SetOrClass)

s__instance(s__ServiceProcess,s__SetOrClass)

s__subclass(s__SecretarialService,s__ServiceProcess)

Hotel.kif 2235-2235 Secretarial service is a subclass of service
s__instance(s__ServiceProcess,s__SetOrClass)

s__subclass(s__TourService,s__ServiceProcess)

s__instance(s__TourService,s__SetOrClass)

Hotel.kif 2025-2025 Tour service is a subclass of service
s__instance(s__TransportationService,s__SetOrClass)

s__instance(s__ServiceProcess,s__SetOrClass)

s__subclass(s__TransportationService,s__ServiceProcess)

Transportation.kif 3279-3279 Transportation service is a subclass of service
s__instance(s__TurndownService,s__SetOrClass)

s__instance(s__ServiceProcess,s__SetOrClass)

s__subclass(s__TurndownService,s__ServiceProcess)

Hotel.kif 1892-1892 Turndown service is a subclass of service
s__instance(s__ServiceProcess,s__SetOrClass)

s__instance(s__ValetLaundryService,s__SetOrClass)

s__subclass(s__ValetLaundryService,s__ServiceProcess)

Hotel.kif 1765-1765 Valet laundry is a subclass of service
s__subclass(s__ValetParking,s__ServiceProcess)

s__instance(s__ValetParking,s__SetOrClass)

s__instance(s__ServiceProcess,s__SetOrClass)

TransportDetail.kif 141-141 Valet parking is a subclass of service
s__instance(s__WakeUpService,s__SetOrClass)

s__subclass(s__WakeUpService,s__ServiceProcess)

s__instance(s__ServiceProcess,s__SetOrClass)

Hotel.kif 1933-1933 Wake-up service is a subclass of service
s__termFormat(s__EnglishLanguage,s__ServiceProcess,'service')

domainEnglishFormat.kif 9135-9135 "service" is the printable form of service in english language

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


s__domain(s__serviceProvider__m,1,s__ServiceProcess)

Mid-level-ontology.kif 20756-20756 The number 1 argument of service provider is an instance of service
s__domain(s__serviceRecipient__m,1,s__ServiceProcess)

Mid-level-ontology.kif 20767-20767 The number 1 argument of service recipient is an instance of service
s__domainSubclass(s__allRoomsServiceAmenity__m,2,s__ServiceProcess)

Hotel.kif 211-211 The number 2 argument of service amenity in all rooms is a subclass of service
s__domainSubclass(s__someRoomsServiceAmenity__m,2,s__ServiceProcess)

Hotel.kif 196-196 The number 2 argument of service amenity in some rooms is a subclass of service

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


( ! [V__EVENT] :
   (s__instance(V__EVENT,s__ServiceProcess)s__=>(s__exists__m[V__PROVIDER] :
       (s__instance(V__PROVIDER,s__CognitiveAgent)s__and__ms__serviceProvider(V__EVENT,V__PROVIDER))))
)

Mid-level-ontology.kif 20776-20781
( ! [V__EVENT] :
   (s__instance(V__EVENT,s__ServiceProcess)s__=>(s__exists__m[V__RECEIVER] :
       (s__instance(V__RECEIVER,s__CognitiveAgent)s__and__ms__serviceRecipient(V__EVENT,V__RECEIVER))))
)

Mid-level-ontology.kif 20784-20789
( ! [V__X] :
   (s__instance(V__X,s__ServiceProcess)s__=>(s__exists__m[V__AGENT,V__CUST] :
       (s__instance(V__AGENT,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__m(s__serviceProvider(V__X,V__AGENT)
      s__and__ms__serviceRecipient(V__X,V__CUST)
    s__and__m(s__not__m(V__AGENTs__equal__mV__CUST))))))
)

Hotel.kif 1716-1722

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


( ! [V__AGENT,V__ENTITY,V__ATTR] :
   (s__instance(V__AGENT,s__Agent)s__=>((s__subjectiveAttribute(V__ENTITY,V__ATTR,V__AGENT)
      s__and__ms__instance(V__ATTR,s__ServiceRating)s__and__ms__instance(V__ENTITY,s__Agent))
    s__=>(s__exists__m[V__SVC,V__CLASSIFY] :
       (s__instance(V__SVC,s__ServiceProcess)s__and__ms__agent(V__SVC,V__ENTITY)
      s__and__ms__instance(V__CLASSIFY,s__Classifying)s__and__ms__destination(V__CLASSIFY,V__SVC)
    s__and__ms__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__CUST,V__SERVICE] :
   ((s__instance(V__C,s__Proposition)s__and__ms__instance(V__C,s__CognitiveAgent)s__and__ms__instance(V__CUST,s__Agreement)s__and__ms__instance(V__CUST,s__CognitiveAgent)s__and__ms__instance(V__SERVICE,s__Agreement)s__and__ms__instance(V__SERVICE,s__CognitiveAgent))
    s__=>(s__property(V__C,s__ServiceContract)s__=>(s__exists__m[V__SP] :
         (s__instance(V__SP,s__ServiceProcess)s__and__ms__realization(V__SP,V__C)
        s__and__ms__serviceProvider(V__SP,V__SERVICE)
      s__and__ms__serviceRecipient(V__SP,V__CUST)
    s__and__ms__partyToAgreement(V__C,V__SERVICE)
  s__and__ms__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