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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Expressway

Sigma KEE - Expressway
Expressway

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


(documentation Expressway EnglishLanguage "Expressway is the subclass of SurfacedRoadways that are multiple-lane, limited-access highways designed for rapid travel by MotorVehicles.") Transportation.kif 610-612
(externalImage Expressway "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ NorthSouth-Expressway.jpg") pictureList.kif 4681-4681
(subclass Expressway SurfacedRoadway) Transportation.kif 609-609

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


(termFormat EnglishLanguage Expressway "expressway") domainEnglishFormat.kif 4250-4250

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


(<=>
    (lengthOfExpresswaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Expressway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 558-565
(=>
    (and
        (lengthOfExpresswaySystem ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?HIGHWAY)
        (and
            (instance ?HIGHWAY Expressway)
            (located ?HIGHWAY ?AREA))))
Transportation.kif 567-575


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners