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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirTransitway

Sigma KEE - AirTransitway
AirTransitway

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 1023-1023
(subclass AirTransitway Transitway) Transportation.kif 1247-1247

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


(subclass Airport AirTransitway) Transportation.kif 1266-1266
(termFormat ChineseLanguage AirTransitway "空中运输通道") domainEnglishFormat.kif 6294-6294
(termFormat ChineseTraditionalLanguage AirTransitway "空中運輸通道") domainEnglishFormat.kif 6293-6293
(termFormat EnglishLanguage AirTransitway "air transitway") domainEnglishFormat.kif 6292-6292

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 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