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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransportationAuthority

Sigma KEE - TransportationAuthority
TransportationAuthority

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 3148-3151
(subclass TransportationAuthority Organization) Transportation.kif 3147-3147

appearance as argument number 2
-------------------------


(instance FederalAviationAdministration TransportationAuthority) Transportation.kif 3160-3160
(instance InternationalAirTransportAssociation TransportationAuthority) Transportation.kif 3165-3165
(termFormat ChineseLanguage TransportationAuthority "运输当局") domainEnglishFormat.kif 58984-58984
(termFormat ChineseTraditionalLanguage TransportationAuthority "運輸當局") domainEnglishFormat.kif 58983-58983
(termFormat EnglishLanguage TransportationAuthority "transportation authority") domainEnglishFormat.kif 58982-58982


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

Show without tree


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