Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TransportationService(transportation service) |  | freight, freightage, shipping, transport, transportation |
| appearance as argument number 1 |
|
|
| (subclass TransportationService ServiceProcess) | Transportation.kif 5018-5018 | Transportation service is a subclass of service |
| (documentation TransportationService EnglishLanguage "TransportationService refers to how an agent that possesses some kind of vehicle transports people around") | Transportation.kif 5019-5020 | Transportation service is a subclass of service |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?SVC TransportationService) (exists (?VEHICLE ?AGENT ?TRANS ?CUST) (and (agent ?SVC ?AGENT) (possesses ?AGENT ?VEHICLE) (customer ?CUST ?AGENT) (instance ?VEHICLE Vehicle) (instance ?TRANS Transportation) (agent ?TRANS ?AGENT) (patient ?TRANS ?CUST) (instrument ?TRANS ?VEHICLE) (subProcess ?TRANS ?SVC)))) |
Transportation.kif 5023-5035 | If X is an instance of transportation service, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Z is an agent of X (3) Z possesses Y (4) Z is a customer of V (5) Y is an instance of vehicle (6) W is an instance of transportation (7) Z is an agent of W (8) V is a patient of W (9) Y is an instrument for W (10) W is a subprocess of X |
| consequent |
|
|
| (=> (providesDestination ?TC ?REG) (modalAttribute (exists (?SVC) (and (instance ?SVC TransportationService) (serviceProvider ?SVC ?TC) (destination ?SVC ?REG))) Possibility)) |
Transportation.kif 5084-5091 | If X provides transportation to Y, then the statement there exists Z such that Z is an instance of transportation service, X provides a service during Z, and Z ends up at Y has the modal force of possibility |
|