Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AirTransportationService(Air Transportation Service) |  | air_transport, air_transportation |
| appearance as argument number 1 |
|
|
| (subclass AirTransportationService TransportationService) | Transportation.kif 5037-5037 | Air Transportation Service is a subclass of transportation service |
| (documentation AirTransportationService EnglishLanguage "A TransportationService provided by an AutonomousAgent that involves flying a customer from one Airport to another Airport.") | Transportation.kif 5038-5040 | Air Transportation Service is a subclass of transportation service |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AirTransportationService "Air Transportation Service") | Transportation.kif 5041-5041 |
| antecedent |
|
|
| (=> (instance ?SERVICE AirTransportationService) (exists (?AIRCRAFT ?AIR) (and (instance ?AIR AirTransportation) (subProcess ?AIR ?SERVICE) (instrument ?AIR ?AIRCRAFT) (instance ?AIRCRAFT Aircraft)))) |
Transportation.kif 5042-5049 | If X is an instance of Air Transportation Service, then there exist Y, Z such that Z is an instance of air transportation, Z is a subprocess of X, Y is an instrument for Z, and Y is an instance of aircraft |
| consequent |
|
|
| (=> (and (instance ?AOC AOCnumber) (instance ?AIRLINE Airline) (possesses ?AIRLINE ?AOC)) (confersRight FederalAviationAdministration ?AIRLINE (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE))))) |
Transportation.kif 4634-4644 | If X is an instance of AOC number, Y is an instance of Airline, and Y possesses X, then Y allows there exists Z such that Z is an instance of Air Transportation Service and Y provides a service during Z to perform task of the type Federal Aviation Administration |
| (=> (instance ?AIRLINE Airline) (hasPurpose ?AIRLINE (exists (?AIR) (and (instance ?AIR AirTransportationService) (serviceProvider ?AIR ?AIRLINE))))) |
Transportation.kif 4987-4993 | If X is an instance of Airline, then X has the purpose there exists Y such that Y is an instance of Air Transportation Service and X provides a service during Y |
|