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 3355-3357
(subclass AirTransportationService TransportationService)	Transportation.kif 3354-3354	AirTransportationService は TransportationService の subclass では %n

appearance as argument number 2

Transportation.kif 3358-3358

antecedent

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

Transportation.kif 3359-3366

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 3188-3198	オブジェクトは AOCnumber の instance では %n 認識エージェントは Airline の instance では %n 認識エージェントはオブジェクトを possesses %n{ない} FederalAviationAdministration は認識エージェントがエンティティーエンティティーは AirTransportationService の instance では %n 認識エージェントはエンティティーの間サービスを provides %n{ない} のタスクを実行することはを allows %n{ない}
(=> (instance ?AIRLINE Airline) (hasPurpose ?AIRLINE (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE)))))	Transportation.kif 3304-3310	物理は Airline の instance では %n 物理はエンティティーエンティティーは AirTransportationService の instance では %n 物理はエンティティーの間サービスを provides %n{ない} の目的 %n{ない}