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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AirRoute
AirRoute

appearance as argument number 1
-------------------------


(documentation AirRoute EnglishLanguage "An AirRoute is a region of air space that can be travelled between points by an air TransportationDevice.") Transportation.kif 2998-2999
(subclass AirRoute TransitRoute) Transportation.kif 2996-2996 AirRouteTransitRoutesubclass では %n

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


(termFormat ChineseLanguage AirRoute "航路") domainEnglishFormat.kif 6270-6270
(termFormat ChineseTraditionalLanguage AirRoute "航路") domainEnglishFormat.kif 6269-6269
(termFormat EnglishLanguage AirRoute "air route") domainEnglishFormat.kif 6268-6268


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