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 4182-4184
(subclass AirTransportationService TransportationService)	Transportation.kif 4181-4181	Air Transportation Service is a subclass of transportation service

appearance as argument number 2

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

(=> (and (instance ?AOC AOCnumber) (instance ?AIRLINE Airline) (possesses ?AIRLINE ?AOC)) (confersRight (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE))) FederalAviationAdministration ?AIRLINE))	Transportation.kif 4015-4025	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 4131-4137	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