| 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 11054-11058 | |
| (subclass ServiceProcess SocialInteraction) | Merge.kif 11052-11052 | subclass ServiceProcess and SocialInteraction |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain serviceProvider 1 ServiceProcess) | Mid-level-ontology.kif 20821-20821 | domain serviceProvider, 1 and ServiceProcess |
| (domain serviceRecipient 1 ServiceProcess) | Mid-level-ontology.kif 20832-20832 | domain serviceRecipient, 1 and ServiceProcess |
| (domainSubclass allRoomsServiceAmenity 2 ServiceProcess) | Hotel.kif 211-211 | domainSubclass allRoomsServiceAmenity, 2 and ServiceProcess |
| (domainSubclass someRoomsServiceAmenity 2 ServiceProcess) | Hotel.kif 196-196 | domainSubclass someRoomsServiceAmenity, 2 and ServiceProcess |
| antecedent |
|
|
| (=> (instance ?EVENT ServiceProcess) (exists (?PROVIDER) (and (instance ?PROVIDER CognitiveAgent) (serviceProvider ?EVENT ?PROVIDER)))) |
Mid-level-ontology.kif 20841-20846 | |
| (=> (instance ?EVENT ServiceProcess) (exists (?RECEIVER) (and (instance ?RECEIVER CognitiveAgent) (serviceRecipient ?EVENT ?RECEIVER)))) |
Mid-level-ontology.kif 20849-20854 | |
| (=> (instance ?X ServiceProcess) (exists (?AGENT ?CUST) (and (serviceProvider ?X ?AGENT) (serviceRecipient ?X ?CUST) (not (equal ?AGENT ?CUST))))) |
Hotel.kif 1720-1726 |
| consequent |
|
|
|
|
|