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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SurfacedRoadway
SurfacedRoadway

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


(disjoint SurfacedRoadway UnsurfacedRoadway) Transportation.kif 643-643 SurfacedRoadway est disjoint de UnsurfacedRoadway
(documentation SurfacedRoadway EnglishLanguage "SurfacedRoadway is the subclass of Roadways that have been improved by covering them with a substance to increase the hardness and smoothness of the surface. Covering materials include pavement, concrete, asphalt, macadam, and gravel.") Transportation.kif 626-629
(externalImage SurfacedRoadway "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d1/ Roadworks_Germany_A9.jpg/ 300px-Roadworks_Germany_A9.jpg") pictureList.kif 1260-1260
(subclass SurfacedRoadway Roadway) Transportation.kif 625-625 SurfacedRoadway est une sous-classe de Roadway

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


(subclass Expressway SurfacedRoadway) Transportation.kif 620-620 Expressway est une sous-classe de SurfacedRoadway
(termFormat ChineseLanguage SurfacedRoadway "浮出水面的巷道") domainEnglishFormat.kif 56307-56307
(termFormat ChineseTraditionalLanguage SurfacedRoadway "浮出水面的巷道") domainEnglishFormat.kif 56306-56306
(termFormat EnglishLanguage SurfacedRoadway "surfaced roadway") domainEnglishFormat.kif 56305-56305

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


(=>
    (instance ?aR SurfacedRoadway)
    (attribute ?aR Paved))
Transportation.kif 631-633

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


(<=>
    (lengthOfPavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS SurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 542-549 lengthOfPavedHighway secteur g�ographique and mesure de longueur le longueur de la classe d�crite par cha�ne sympbolique est mesure de longueur
(=>
    (and
        (lengthOfPavedHighway ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?HIGHWAY)
        (and
            (instance ?HIGHWAY SurfacedRoadway)
            (located ?HIGHWAY ?AREA))))
Transportation.kif 551-559


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