ServiceProcess - Sigma Knowledge base Browser

appearance as argument number 1

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

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	If a service is an instance of service, then there exists a cognitive agent such that the cognitive agent is an instance of cognitive agent and the cognitive agent provides a service during the service
( ! [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	If a service is an instance of service, then there exists a cognitive agent such that the cognitive agent is an instance of cognitive agent and the cognitive agent receives a service during the service
( ! [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	If a service is an instance of service, then there exist a cognitive agent and another cognitive agent such that the cognitive agent provides a service during the service and the other cognitive agent receives a service during the service and the cognitive agent is not equal to the other cognitive agent

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	If an agent believes another agent is an attribute and the attribute is an instance of ServiceRating and the other agent is an instance of agent, then there exist a process and another process such that the process is an instance of service and the other agent is an agent of the process and the other process is an instance of classifying and the agent is an agent of the other process and the other process ends up at the process and the attribute is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3017-3024	If a physical is an instance of ServiceRating, then the physical purpose an entity is an instance of classifying and the entity ends up at another entity and the physical is a patient of the entity and the other entity is an instance of service
( ! [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	If a proposition the attribute service contract, then there exists a service such that the service is an instance of service and the service expresses the content of the proposition and an agreement provides a service during the service and the propositionUST receives a service during the service and the agreement is a party to agreement of the proposition and the propositionUST is a party to agreement of the proposition

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

KB Term:			Term intersection

English Word: