Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TransportationAuthority
TransportationAuthority(transportation authority)

appearance as argument number 1

(documentation TransportationAuthority EnglishLanguage "TransportationAuthority is the class of Organizations that are responsible for one or more systems of transportation, usually within a particular GeopoliticalArea.") Transportation.kif 3096-3099
(subclass TransportationAuthority Organization) Transportation.kif 3095-3095 Transportation authority is a subclass of organization

appearance as argument number 2

(instance FederalAviationAdministration TransportationAuthority) Transportation.kif 3108-3108 Federal Aviation Administration is an instance of transportation authority
(instance InternationalAirTransportAssociation TransportationAuthority) Transportation.kif 3113-3113 International Air Transport Association is an instance of transportation authority
(termFormat ChineseLanguage TransportationAuthority "运输当局") domainEnglishFormat.kif 58982-58982
(termFormat ChineseTraditionalLanguage TransportationAuthority "運輸當局") domainEnglishFormat.kif 58981-58981
(termFormat EnglishLanguage TransportationAuthority "transportation authority") domainEnglishFormat.kif 58980-58980

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners