TreeView Knowledge Base Browser - 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 3536-3538
(subclass AirTransportationService TransportationService)	Transportation.kif 3535-3535	Air Transportation Service is a subclass of transportation service

appearance as argument number 2

Transportation.kif 3539-3539

antecedent

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

Transportation.kif 3540-3547

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 3369-3379	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 3485-3491	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