| ServiceProcess(service) | | service |
| appearance as argument number 1 |
|
|
| (subclass ServiceProcess SocialInteraction) | Merge.kif 12034-12034 | Service is a subclass of social interaction |
| (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 12036-12040 | Service is a subclass of social interaction |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain serviceProvider 1 ServiceProcess) | Mid-level-ontology.kif 25255-25255 | The number 1 argument of service provider is an instance of service |
| (domain serviceRecipient 1 ServiceProcess) | Mid-level-ontology.kif 25266-25266 | The number 1 argument of service recipient is an instance of service |
| (domainSubclass someRoomsServiceAmenity 2 ServiceProcess) | Hotel.kif 201-201 | The number 2 argument of service amenity in some rooms is a subclass of service |
| (domainSubclass allRoomsServiceAmenity 2 ServiceProcess) | Hotel.kif 216-216 | The number 2 argument of service amenity in all rooms is a subclass of service |
| (domain serviceInstrument 1 ServiceProcess) | TravelPolicies.kif 775-775 | The number 1 argument of serviceInstrument is an instance of service |
| antecedent |
|
|
| (=> (instance ?EVENT ServiceProcess) (exists (?PROVIDER) (and (instance ?PROVIDER CognitiveAgent) (serviceProvider ?EVENT ?PROVIDER)))) |
Mid-level-ontology.kif 25274-25279 | If X is an instance of service, then there exists Y such that Y is an instance of cognitive agent and Y provides a service during X |
| (=> (instance ?EVENT ServiceProcess) (exists (?RECEIVER) (and (instance ?RECEIVER CognitiveAgent) (serviceRecipient ?EVENT ?RECEIVER)))) |
Mid-level-ontology.kif 25281-25286 | If X is an instance of service, then there exists Y such that Y is an instance of cognitive agent and Y receives a service during X |
| (=> (instance ?X ServiceProcess) (exists (?AGENT ?CUST) (and (serviceProvider ?X ?AGENT) (serviceRecipient ?X ?CUST) (not (equal ?AGENT ?CUST))))) |
Hotel.kif 1783-1789 | If X is an instance of service, then there exist Y, Z such that Y provides a service during X, Z receives a service during X, equal Y, and Z |
| consequent |
|
|
| (=> (property ?C ServiceContract) (exists (?SP ?SERVICE ?CUST) (and (instance ?SP ServiceProcess) (realization ?SP ?C) (serviceProvider ?SP ?SERVICE) (serviceRecipient ?SP ?CUST) (partyToAgreement ?C ?SERVICE) (partyToAgreement ?C ?CUST)))) |
Mid-level-ontology.kif 15719-15728 | If X the attribute service contract, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of service (3) Y expresses the content of X (4) Z provides a service during Y (5) W receives a service during Y (6) Z is a party to agreement of X (7) W is a party to agreement of X |
| (=> (instance ?RATING ServiceRating) (hasPurpose ?RATING (exists (?C ?S) (and (instance ?C Classifying) (destination ?C ?S) (patient ?C ?RATING) (instance ?S ServiceProcess))))) |
Hotel.kif 3092-3100 | If X is an instance of service rating, then X has the purpose there exist Y, Z such that Y is an instance of classifying, Y ends up at Z, X is a patient of Y, and Z is an instance of service |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR ServiceRating) (instance ?ENTITY AutonomousAgent)) (exists (?SVC ?CLASSIFY) (and (instance ?SVC ServiceProcess) (agent ?SVC ?ENTITY) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?SVC) (patient ?CLASSIFY ?ATTR)))) |
Hotel.kif 3102-3114 | If X believes Y is Z, Z is an instance of service rating, and Y is an instance of agent, then All of the following hold: (1) there exist W (2) V such that W is an instance of service (3) Y is an agent of W (4) V is an instance of classifying (5) X is an agent of V (6) V ends up at W (7) Z is a patient of V |
|
|
|