| 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 3388-3389 | |
| (subclass TransportationService ServiceProcess) | Transportation.kif 3387-3387 |
| appearance as argument number 2 |
|
|
| (subclass AirTransportationService TransportationService) | Transportation.kif 3406-3406 | |
| (subclass LandTransportationService TransportationService) | Transportation.kif 3420-3420 | |
| (subclass ShuttleService TransportationService) | Hotel.kif 2029-2029 | |
| (subclass WaterTransportationService TransportationService) | Transportation.kif 3433-3433 | |
| (termFormat EnglishLanguage TransportationService "transportation service") | Transportation.kif 3390-3390 |
| 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 3392-3404 |
| consequent |
|
|
| (=> (providesDestination ?TC ?REG) (modalAttribute (exists (?SVC) (and (instance ?SVC TransportationService) (serviceProvider ?SVC ?TC) (destination ?SVC ?REG))) Possibility)) |
Transportation.kif 3453-3460 |
|
|
|