| TransportationService | |
| appearance as argument number 1 |
|
|
| (documentation TransportationService EnglishLanguage "TransportationService refers to how an agent that possesses some kind of vehicle transports people around") | Transportation.kif 4194-4195 | |
| (subclass TransportationService ServiceProcess) | Transportation.kif 4193-4193 |
| appearance as argument number 2 |
|
|
| (subclass AirTransportationService TransportationService) | Transportation.kif 4212-4212 | |
| (subclass LandTransportationService TransportationService) | Transportation.kif 4226-4226 | |
| (subclass ShuttleService TransportationService) | Hotel.kif 2029-2029 | |
| (subclass WaterTransportationService TransportationService) | Transportation.kif 4239-4239 | |
| (termFormat EnglishLanguage TransportationService "transportation service") | Transportation.kif 4196-4196 |
| 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 4198-4210 |
| consequent |
|
|
| (=> (providesDestination ?TC ?REG) (modalAttribute (exists (?SVC) (and (instance ?SVC TransportationService) (serviceProvider ?SVC ?TC) (destination ?SVC ?REG))) Possibility)) |
Transportation.kif 4259-4266 |
|
|
|