Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  FederalAviationAdministration
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (acronym "FAA" FederalAviationAdministration) | Transportation.kif 4555-4555 | "FAA" is an acronym for Federal Aviation Administration |
| (termFormat EnglishLanguage FederalAviationAdministration "Federal Aviation Administration") | Transportation.kif 4556-4556 | "FAA" is an acronym for Federal Aviation Administration |
| consequent |
|
|
| (=> (instance ?AOC AOCnumber) (exists (?G ?AIRLINE) (and (instance ?G Giving) (agent ?G FederalAviationAdministration) (destination ?G ?AIRLINE) (patient ?G ?AOC)))) |
Transportation.kif 4625-4632 | If X is an instance of AOC number, then there exist Y, Z such that Y is an instance of giving, Federal Aviation Administration is an agent of Y, Y ends up at Z, and X is a patient of Y |
| (=> (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 |
|