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 4163-4164 | |
(subclass TransportationService ServiceProcess) | Transportation.kif 4162-4162 | Transportation service is a subclass of service |
appearance as argument number 2 |
(subclass AirTransportationService TransportationService) | Transportation.kif 4181-4181 | Air Transportation Service is a subclass of transportation service |
(subclass LandTransportationService TransportationService) | Transportation.kif 4195-4195 | Land Transportation Service is a subclass of transportation service |
(subclass ShuttleService TransportationService) | Hotel.kif 2029-2029 | Shuttle is a subclass of transportation service |
(subclass WaterTransportationService TransportationService) | Transportation.kif 4208-4208 | Water Transportation Service is a subclass of transportation service |
(termFormat EnglishLanguage TransportationService "transportation service") | Transportation.kif 4165-4165 | Water Transportation Service is a subclass of transportation service |
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 4167-4179 |
|
consequent |
(=> (providesDestination ?TC ?REG) (modalAttribute (exists (?SVC) (and (instance ?SVC TransportationService) (serviceProvider ?SVC ?TC) (destination ?SVC ?REG))) Possibility)) |
Transportation.kif 4228-4235 |
|