ServiceProcess - Sigma Knowledge base Browser

appearance as argument number 3

(domain serviceProvider 1 ServiceProcess)	Mid-level-ontology.kif 23160-23160	The number 1 argument of service provider is an instance of service
(domain serviceRecipient 1 ServiceProcess)	Mid-level-ontology.kif 23171-23171	The number 1 argument of service recipient is an instance of service
(domainSubclass allRoomsServiceAmenity 2 ServiceProcess)	Hotel.kif 216-216	The number 2 argument of service amenity in all rooms is a subclass of service
(domainSubclass someRoomsServiceAmenity 2 ServiceProcess)	Hotel.kif 201-201	The number 2 argument of service amenity in some rooms is a subclass of service

antecedent

(=> (instance ?EVENT ServiceProcess) (exists (?PROVIDER) (and (instance ?PROVIDER CognitiveAgent) (serviceProvider ?EVENT ?PROVIDER))))	Mid-level-ontology.kif 23179-23184	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
(=> (instance ?EVENT ServiceProcess) (exists (?RECEIVER) (and (instance ?RECEIVER CognitiveAgent) (serviceRecipient ?EVENT ?RECEIVER))))	Mid-level-ontology.kif 23186-23191	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
(=> (instance ?X ServiceProcess) (exists (?AGENT ?CUST) (and (serviceProvider ?X ?AGENT) (serviceRecipient ?X ?CUST) (not (equal ?AGENT ?CUST)))))	Hotel.kif 1772-1778	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

(=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR ServiceRating) (instance ?ENTITY AutonomousAgent)) (exists (?SVC ?CLASSIFY) (and (instance ?SVC ServiceProcess) (agent ?SVC ?ENTITY) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?SVC) (patient ?CLASSIFY ?ATTR))))	Hotel.kif 3091-3103	If an agent believes another agent is an attribute and the attribute is an instance of service rating 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
(=> (instance ?RATING ServiceRating) (hasPurpose ?RATING (exists (?C ?S) (and (instance ?C Classifying) (destination ?C ?S) (patient ?C ?RATING) (instance ?S ServiceProcess)))))	Hotel.kif 3081-3089	If a physical is an instance of service rating, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of classifying and the entity ends up at the other entity and the physical is a patient of the entity and the other entity is an instance of service
(=> (property ?C ServiceContract) (exists (?SP ?SERVICE ?CUST) (and (instance ?SP ServiceProcess) (realization ?SP ?C) (serviceProvider ?SP ?SERVICE) (serviceRecipient ?SP ?CUST) (partyToAgreement ?C ?SERVICE) (partyToAgreement ?C ?CUST))))	Mid-level-ontology.kif 14416-14425	If a proposition the attribute service contract, then there exist a service, an agreement and the propositionUST such that the service is an instance of service and the service expresses the content of the proposition and the 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 3.0 is open source software produced by Articulate Software and its partners

(documentation ServiceProcess ChineseLanguage "ServiceProcess 表示一类事件的类别，当中一个实施体事向另外一个实施体提供服务。服务的形式不需要具有商业性质，也不需要 serviceRecipient 向 serviceProvider 付款作为服务酬劳。")	chinese_format.kif 3100-3102
(documentation ServiceProcess 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 11912-11916
(documentation ServiceProcess JapaneseLanguage "ServiceProcess は、あるエージェントが別のエージェントに対してサービスを実行するイベントのクラスを示す。サービスは商用である必要はなく、 serviceRecipient がサービスの serviceProvider を支払ったり補償したりする必要はない。")	japanese_format.kif 1871-1873
(subclass ServiceProcess SocialInteraction)	Merge.kif 11910-11910	Service is a subclass of social interaction

(subclass CateringService ServiceProcess)	Dining.kif 571-571	Catering is a subclass of service
(subclass CheckInService ServiceProcess)	Hotel.kif 2148-2148	Check-in service is a subclass of service
(subclass CheckOutService ServiceProcess)	Hotel.kif 2181-2181	Check-out service is a subclass of service
(subclass ChildCareService ServiceProcess)	Hotel.kif 1866-1866	Child-care service is a subclass of service
(subclass CommercialService ServiceProcess)	Merge.kif 11921-11921	Commercial service is a subclass of service
(subclass CurrencyExchangeService ServiceProcess)	Hotel.kif 2096-2096	Currency exchange is a subclass of service
(subclass DryCleaningService ServiceProcess)	Hotel.kif 1804-1804	Dry-clean is a subclass of service
(subclass ExecutiveService ServiceProcess)	Hotel.kif 2240-2240	Executive service is a subclass of service
(subclass IroningService ServiceProcess)	Hotel.kif 1850-1850	Ironing service is a subclass of service
(subclass LaundryService ServiceProcess)	Hotel.kif 1780-1780	Laundry service is a subclass of service
(subclass MedicalService ServiceProcess)	Hotel.kif 2275-2275	Medical service is a subclass of service
(subclass PhotocopyingService ServiceProcess)	Hotel.kif 2126-2126	Photocopying service is a subclass of service
(subclass RoomCleaningService ServiceProcess)	Hotel.kif 1918-1918	Service is a subclass of service
(subclass RoomService ServiceProcess)	Hotel.kif 1964-1964	Room service is a subclass of service
(subclass SafetyDepositService ServiceProcess)	Hotel.kif 2255-2255	Safety deposit box is a subclass of service
(subclass SecretarialService ServiceProcess)	Hotel.kif 2294-2294	Secretarial service is a subclass of service
(subclass TourService ServiceProcess)	Hotel.kif 2082-2082	Tour service is a subclass of service
(subclass TransportationService ServiceProcess)	Transportation.kif 4162-4162	Transportation service is a subclass of service
(subclass TurndownService ServiceProcess)	Hotel.kif 1948-1948	Turndown service is a subclass of service
(subclass ValetLaundryService ServiceProcess)	Hotel.kif 1821-1821	Valet laundry is a subclass of service
(subclass ValetParking ServiceProcess)	TransportDetail.kif 147-147	Valet parking is a subclass of service
(subclass WakeUpService ServiceProcess)	Hotel.kif 1989-1989	Wake-up service is a subclass of service
(termFormat ChineseLanguage ServiceProcess "服务")	domainEnglishFormat.kif 52309-52309	Wake-up service is a subclass of service
(termFormat ChineseTraditionalLanguage ServiceProcess "服務")	domainEnglishFormat.kif 52308-52308	Wake-up service is a subclass of service
(termFormat EnglishLanguage ServiceProcess "service")	domainEnglishFormat.kif 52307-52307	Wake-up service is a subclass of service

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

KB Term:			Term intersection

English Word: