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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AirTransitway
AirTransitway(air transitway)
air_lane, airway, approach_pattern, flight_path, line_of_flight, pattern, skyway, traffic_pattern

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


(documentation AirTransitway EnglishLanguage "The subclass of Transitways that are through the EarthsAtmosphere.") Transportation.kif 1248-1249
(externalImage AirTransitway "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 13/ FGSQE.jpg/ 250px-FGSQE.jpg") pictureList.kif 1024-1024
(subclass AirTransitway Transitway) Transportation.kif 1247-1247 Air transitway is a subclass of transitway

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


(subclass Airport AirTransitway) Transportation.kif 1266-1266 Airport is a subclass of air transitway
(termFormat ChineseLanguage AirTransitway "空中运输通道") domainEnglishFormat.kif 6303-6303
(termFormat ChineseTraditionalLanguage AirTransitway "空中運輸通道") domainEnglishFormat.kif 6302-6302
(termFormat EnglishLanguage AirTransitway "air transitway") domainEnglishFormat.kif 6301-6301

antecedent
-------------------------


(=>
    (instance ?WAY AirTransitway)
    (hasPurpose ?WAY
        (exists (?TRANSPORT)
            (and
                (instance ?TRANSPORT Transportation)
                (path ?TRANSPORT ?WAY)
                (partlyLocated ?WAY EarthsAtmosphere)))))
Transportation.kif 1250-1257

consequent
-------------------------


(=>
    (and
        (instance ?T AirTransportation)
        (path ?T ?P))
    (instance ?P AirTransitway))
Transportation.kif 1259-1263


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