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 付款作为服务酬劳。"')

chinese_format.kif 3100-3102
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 11044-11048
s__subclass(s__ServiceProcess,s__SocialInteraction)

s__instance(s__ServiceProcess,s__SetOrClass)

s__instance(s__SocialInteraction,s__SetOrClass)

Merge.kif 11042-11042 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 526-526 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 2094-2094 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 2127-2127 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 1814-1814 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 11053-11053 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 2044-2044 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 1752-1752 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 2186-2186 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 1798-1798 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 1728-1728 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 2221-2221 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 2072-2072 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 1866-1866 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 1912-1912 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 2201-2201 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 2240-2240 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 2030-2030 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 3313-3313 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 1896-1896 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 1769-1769 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 143-143 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 1937-1937 Wake-up service is a subclass of service
s__termFormat(s__ChineseLanguage,s__ServiceProcess,'"服务"')

domainEnglishFormat.kif 52166-52166
s__termFormat(s__ChineseTraditionalLanguage,s__ServiceProcess,'"服務"')

domainEnglishFormat.kif 52165-52165
s__termFormat(s__EnglishLanguage,s__ServiceProcess,'"service"')

domainEnglishFormat.kif 52164-52164

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__domain(s__serviceProvider__m,n__1,s__ServiceProcess)

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

Mid-level-ontology.kif 20780-20780 The number 1 argument of service recipient is an instance of service
s__domainSubclass(s__allRoomsServiceAmenity__m,n__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,n__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) =>
     ( ? [V__PROVIDER] :
       ((s__instance(V__PROVIDER,s__CognitiveAgent) &
           s__serviceProvider(V__EVENT,V__PROVIDER))))
   )
)

Mid-level-ontology.kif 20789-20794
( ! [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 20797-20802
( ! [V__X] :
   (s__instance(V__X,s__ServiceProcess) =>
     ( ? [V__AGENT, V__CUST] :
       ((s__instance(V__AGENT,s__CognitiveAgent) &
           s__instance(V__CUST,s__CognitiveAgent) &
           (s__serviceProvider(V__X,V__AGENT)
           &
           s__serviceRecipient(V__X,V__CUST)
         &
         ~((V__AGENT = V__CUST))))))
)
)

Hotel.kif 1720-1726

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


( ! [V__AGENT,V__ATTR,V__ENTITY] :
   (s__instance(V__AGENT,s__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__agent(V__CLASSIFY,V__AGENT)
     &
     s__destination(V__CLASSIFY,V__SVC)
   &
   s__patient(V__CLASSIFY,V__ATTR))))
)
)

Hotel.kif 3026-3038
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3017-3024
( ! [V__C,V__CUST,V__SERVICE] :
   ((s__instance(V__C,s__Proposition) &
       s__instance(V__C,s__CognitiveAgent) &
       s__instance(V__CUST,s__Agreement) &
       s__instance(V__CUST,s__CognitiveAgent) &
       s__instance(V__SERVICE,s__Agreement) &
       s__instance(V__SERVICE,s__CognitiveAgent))
     =>
     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 11821-11830


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