AirTransportationService
|
|
appearance as argument number 1 |
(documentation AirTransportationService EnglishLanguage "A TransportationService provided by an AutonomousAgent that involves flying a customer from one Airport to another Airport.") | Transportation.kif 4182-4184 | |
(subclass AirTransportationService TransportationService) | Transportation.kif 4181-4181 | Air Transportation Service is a subclass of transportation service |
appearance as argument number 2 |
(termFormat EnglishLanguage AirTransportationService "Air Transportation Service") | Transportation.kif 4185-4185 |
antecedent |
(=> (instance ?SERVICE AirTransportationService) (exists (?AIRCRAFT ?AIR) (and (instance ?AIR AirTransportation) (subProcess ?AIR ?SERVICE) (instrument ?AIR ?AIRCRAFT) (instance ?AIRCRAFT Aircraft)))) |
Transportation.kif 4186-4193 |
|
consequent |