| ServiceProcess | |
| appearance as argument number 1 |
|
|
| (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 11109-11113 | |
| (subclass ServiceProcess SocialInteraction) | Merge.kif 11107-11107 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain serviceProvider 1 ServiceProcess) | Mid-level-ontology.kif 19314-19314 | |
| (domain serviceRecipient 1 ServiceProcess) | Mid-level-ontology.kif 19325-19325 | |
| (domainSubclass allRoomsServiceAmenity 2 ServiceProcess) | Hotel.kif 211-211 | |
| (domainSubclass someRoomsServiceAmenity 2 ServiceProcess) | Hotel.kif 196-196 |
| antecedent |
|
|
| (=> (instance ?EVENT ServiceProcess) (exists (?PROVIDER) (and (instance ?PROVIDER CognitiveAgent) (serviceProvider ?EVENT ?PROVIDER)))) |
Mid-level-ontology.kif 19333-19338 | |
| (=> (instance ?EVENT ServiceProcess) (exists (?RECEIVER) (and (instance ?RECEIVER CognitiveAgent) (serviceRecipient ?EVENT ?RECEIVER)))) |
Mid-level-ontology.kif 19340-19345 | |
| (=> (instance ?X ServiceProcess) (exists (?AGENT ?CUST) (and (serviceProvider ?X ?AGENT) (serviceRecipient ?X ?CUST) (not (equal ?AGENT ?CUST))))) |
Hotel.kif 1734-1740 |
| consequent |
|
|
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR ServiceRating) (instance ?ENTITY Agent)) (exists (?SVC ?CLASSIFY) (and (instance ?SVC ServiceProcess) (agent ?SVC ?ENTITY) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?SVC) (patient ?CLASSIFY ?ATTR)))) |
Hotel.kif 3040-3052 | |
| (=> (instance ?RATING ServiceRating) (hasPurpose ?RATING (and (instance ?C Classifying) (destination ?C ?S) (patient ?C ?RATING) (instance ?S ServiceProcess)))) |
Hotel.kif 3031-3038 | |
| (=> (property ?C ServiceContract) (exists (?SP) (and (instance ?SP ServiceProcess) (realization ?SP ?C) (serviceProvider ?SP ?SERVICE) (serviceRecipient ?SP ?CUST) (partyToAgreement ?C ?SERVICE) (partyToAgreement ?C ?CUST)))) |
Mid-level-ontology.kif 10979-10988 |
|
|
|