| 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 11106-11110 | |
| (subclass ServiceProcess SocialInteraction) | Merge.kif 11104-11104 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain serviceProvider 1 ServiceProcess) | Mid-level-ontology.kif 20800-20800 | |
| (domain serviceRecipient 1 ServiceProcess) | Mid-level-ontology.kif 20811-20811 | |
| (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 20820-20825 | |
| (=> (instance ?EVENT ServiceProcess) (exists (?RECEIVER) (and (instance ?RECEIVER CognitiveAgent) (serviceRecipient ?EVENT ?RECEIVER)))) |
Mid-level-ontology.kif 20828-20833 | |
| (=> (instance ?X ServiceProcess) (exists (?AGENT ?CUST) (and (serviceProvider ?X ?AGENT) (serviceRecipient ?X ?CUST) (not (equal ?AGENT ?CUST))))) |
Hotel.kif 1721-1727 |
| 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 3027-3039 | |
| (=> (instance ?RATING ServiceRating) (hasPurpose ?RATING (and (instance ?C Classifying) (destination ?C ?S) (patient ?C ?RATING) (instance ?S ServiceProcess)))) |
Hotel.kif 3018-3025 | |
| (=> (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 11848-11857 |
|
|
|