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 11888-11892 | |
(documentation ServiceProcess JapaneseLanguage "ServiceProcess は、あるエージェントが別の エージェントに対してサービスを実行するイベントのクラスを示す。サービスは商用である必要はなく、 serviceRecipient がサービスの serviceProvider を支払ったり補償したりする必要はない。") | japanese_format.kif 1871-1873 | |
(subclass ServiceProcess SocialInteraction) | Merge.kif 11886-11886 | ServiceProcess è una sottoclasse di InterazioneSociale |
appearance as argument number 2 |
appearance as argument number 3 |
(domain serviceProvider 1 ServiceProcess) | Mid-level-ontology.kif 22876-22876 | Il numero 1 argomenti di serviceProvider è un istanza di ServiceProcess |
(domain serviceRecipient 1 ServiceProcess) | Mid-level-ontology.kif 22887-22887 | Il numero 1 argomenti di serviceRecipient è un istanza di ServiceProcess |
(domainSubclass allRoomsServiceAmenity 2 ServiceProcess) | Hotel.kif 216-216 | Il numero 2 argomento allRoomsServiceAmenity è una sottoclasse diServiceProcess |
(domainSubclass someRoomsServiceAmenity 2 ServiceProcess) | Hotel.kif 201-201 | Il numero 2 argomento someRoomsServiceAmenity è una sottoclasse diServiceProcess |
antecedent |
(=> (instance ?EVENT ServiceProcess) (exists (?PROVIDER) (and (instance ?PROVIDER CognitiveAgent) (serviceProvider ?EVENT ?PROVIDER)))) |
Mid-level-ontology.kif 22895-22900 | |
(=> (instance ?EVENT ServiceProcess) (exists (?RECEIVER) (and (instance ?RECEIVER CognitiveAgent) (serviceRecipient ?EVENT ?RECEIVER)))) |
Mid-level-ontology.kif 22902-22907 | |
(=> (instance ?X ServiceProcess) (exists (?AGENT ?CUST) (and (serviceProvider ?X ?AGENT) (serviceRecipient ?X ?CUST) (not (equal ?AGENT ?CUST))))) |
Hotel.kif 1772-1778 |
consequent |