Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  GraphPathFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ServiceProcess SocialInteraction) | Merge.kif 12140-12140 | 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 12142-12146 | 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 25195-25195 | The number 1 argument of service provider is an instance of service |
| (domain serviceRecipient 1 ServiceProcess) | Mid-level-ontology.kif 25206-25206 | 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 765-765 | 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 25214-25219 | 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 25221-25226 | 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 |
|
|
| (=> (instance ?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 15802-15811 | If X is an instance of 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 3099-3107 | 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 3109-3121 | 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 |
|