FederalAviationAdministration |
appearance as argument number 1 |
(instance FederalAviationAdministration GovernmentOrganization) | Transportation.kif 3107-3107 | FederalAviationAdministration ist ein fall von GovernmentOrganization %n{nicht} |
(instance FederalAviationAdministration TransportationAuthority) | Transportation.kif 3108-3108 | FederalAviationAdministration ist ein fall von TransportationAuthority %n{nicht} |
appearance as argument number 2 |
(acronym "FAA" FederalAviationAdministration) | Transportation.kif 3109-3109 | acronym "FAA" and FederalAviationAdministration |
(termFormat EnglishLanguage FederalAviationAdministration "Federal Aviation Administration") | Transportation.kif 3110-3110 |
consequent |