|
|
   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 11866-11870 | |
| (documentation ServiceProcess JapaneseLanguage "ServiceProcess は、あるエージェントが別の エージェントに対してサービスを実行するイベントのクラスを示す。サービスは商用である必要はなく、 serviceRecipient がサービスの serviceProvider を支払ったり補償したりする必要はない。") | japanese_format.kif 1871-1873 | |
| (subclass ServiceProcess SocialInteraction) | Merge.kif 11864-11864 | ServiceProcess ist eine teilkategorie von SocialInteraction |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain serviceProvider 1 ServiceProcess) | Mid-level-ontology.kif 22877-22877 | Die Zahl 1 Argument von serviceProvider ist ein fall von ServiceProcess %n{nicht} |
| (domain serviceRecipient 1 ServiceProcess) | Mid-level-ontology.kif 22888-22888 | Die Zahl 1 Argument von serviceRecipient ist ein fall von ServiceProcess %n{nicht} |
| (domainSubclass allRoomsServiceAmenity 2 ServiceProcess) | Hotel.kif 216-216 | Die Zahl 2 Argument von allRoomsServiceAmenity ist eine teilkategorie von ServiceProcess %n{nicht} |
| (domainSubclass someRoomsServiceAmenity 2 ServiceProcess) | Hotel.kif 201-201 | Die Zahl 2 Argument von someRoomsServiceAmenity ist eine teilkategorie von ServiceProcess %n{nicht} |
| antecedent |
|
|
| consequent |
|
|
|
|
|