ServiceProcess - Sigma Knowledge base Browser

appearance as argument number 3

(domain serviceProvider 1 ServiceProcess)	Mid-level-ontology.kif 24537-24537	The number 1 argument of service provider is an instance of service
(domain serviceRecipient 1 ServiceProcess)	Mid-level-ontology.kif 24548-24548	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 24556-24561	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 24563-24568	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 1783-1789	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 3102-3114	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 3092-3100	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 15587-15596	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 12001-12005
(documentation ServiceProcess JapaneseLanguage "ServiceProcess は、あるエージェントが別のエージェントに対してサービスを実行するイベントのクラスを示す。サービスは商用である必要はなく、 serviceRecipient がサービスの serviceProvider を支払ったり補償したりする必要はない。")	japanese_format.kif 1871-1873
(subclass ServiceProcess SocialInteraction)	Merge.kif 11999-11999	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 2159-2159	Check-in service is a subclass of service
(subclass CheckOutService ServiceProcess)	Hotel.kif 2192-2192	Check-out service is a subclass of service
(subclass ChildCareService ServiceProcess)	Hotel.kif 1877-1877	Child-care service is a subclass of service
(subclass CommercialService ServiceProcess)	Merge.kif 12010-12010	Commercial service is a subclass of service
(subclass CurrencyExchangeService ServiceProcess)	Hotel.kif 2107-2107	Currency exchange is a subclass of service
(subclass DryCleaningService ServiceProcess)	Hotel.kif 1815-1815	Dry-clean is a subclass of service
(subclass ExecutiveService ServiceProcess)	Hotel.kif 2251-2251	Executive service is a subclass of service
(subclass IroningService ServiceProcess)	Hotel.kif 1861-1861	Ironing service is a subclass of service
(subclass LaundryService ServiceProcess)	Hotel.kif 1791-1791	Laundry service is a subclass of service
(subclass MedicalService ServiceProcess)	Hotel.kif 2286-2286	Medical service is a subclass of service
(subclass PhotocopyingService ServiceProcess)	Hotel.kif 2137-2137	Photocopying service is a subclass of service
(subclass RoomCleaningService ServiceProcess)	Hotel.kif 1929-1929	Service is a subclass of service
(subclass RoomService ServiceProcess)	Hotel.kif 1975-1975	Room service is a subclass of service
(subclass SafetyDepositService ServiceProcess)	Hotel.kif 2266-2266	Safety deposit box is a subclass of service
(subclass SecretarialService ServiceProcess)	Hotel.kif 2305-2305	Secretarial service is a subclass of service
(subclass TourService ServiceProcess)	Hotel.kif 2093-2093	Tour service is a subclass of service
(subclass TransportationService ServiceProcess)	Transportation.kif 4476-4476	Transportation service is a subclass of service
(subclass TurndownService ServiceProcess)	Hotel.kif 1959-1959	Turndown service is a subclass of service
(subclass ValetParking ServiceProcess)	TransportDetail.kif 147-147	Valet parking is a subclass of service
(subclass WakeUpService ServiceProcess)	Hotel.kif 2000-2000	Wake-up service is a subclass of service
(termFormat ChineseLanguage ServiceProcess "服务")	domainEnglishFormat.kif 52302-52302	Wake-up service is a subclass of service
(termFormat ChineseTraditionalLanguage ServiceProcess "服務")	domainEnglishFormat.kif 52301-52301	Wake-up service is a subclass of service
(termFormat EnglishLanguage ServiceProcess "service")	domainEnglishFormat.kif 52300-52300	Wake-up service is a subclass of service

KB Term:			Term intersection

English Word: