AirTransportationService - Sigma Knowledge base Browser

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 4213-4215
(subclass AirTransportationService TransportationService)	Transportation.kif 4212-4212	Air Transportation Service is a subclass of transportation service

appearance as argument number 2

Transportation.kif 4216-4216

antecedent

(=>
    (instance ?SERVICE AirTransportationService)
    (exists (?AIRCRAFT ?AIR)
        (and
            (instance ?AIR AirTransportation)
            (subProcess ?AIR ?SERVICE)
            (instrument ?AIR ?AIRCRAFT)
            (instance ?AIRCRAFT Aircraft))))

Transportation.kif 4217-4224

consequent

(=> (and (instance ?AOC AOCnumber) (instance ?AIRLINE Airline) (possesses ?AIRLINE ?AOC)) (confersRight (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE))) FederalAviationAdministration ?AIRLINE))	Transportation.kif 4046-4056	If an object is an instance of AOC number and a cognitive agent is an instance of Airline and the cognitive agent possesses the object, then Federal Aviation Administration allows the cognitive agent to perform task of the type there exists an entity such that the entity is an instance of Air Transportation Service and the cognitive agent provides a service during the entity
(=> (instance ?AIRLINE Airline) (hasPurpose ?AIRLINE (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE)))))	Transportation.kif 4162-4168	If a physical is an instance of Airline, then the physical has the purpose there exists an entity such that the entity is an instance of Air Transportation Service and the physical provides a service during the entity