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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AirTransitway
AirTransitway

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


(documentation AirTransitway EnglishLanguage "The subclass of Transitways that are through the EarthsAtmosphere.") Transportation.kif 1237-1238
(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 1236-1236

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


(subclass Airport AirTransitway) Transportation.kif 1255-1255
(termFormat ChineseLanguage AirTransitway "空中运输通道") domainEnglishFormat.kif 6305-6305
(termFormat ChineseTraditionalLanguage AirTransitway "空中運輸通道") domainEnglishFormat.kif 6304-6304
(termFormat EnglishLanguage AirTransitway "air transitway") domainEnglishFormat.kif 6303-6303

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


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

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


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


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