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 4494-4496
(subclass AirTransportationService TransportationService)	Transportation.kif 4493-4493	Air Transportation Service is a subclass of transportation service

appearance as argument number 2

Transportation.kif 4497-4497

antecedent

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

Transportation.kif 4498-4505

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 4090-4100	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 4443-4449	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