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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Roadway
Roadway

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


(documentation Roadway ChineseLanguage "RoadwayLandTransitway 的子类别,它是专为设有 自备电源、有轮胎,却不在轨道上运行的车辆在地面运行的地带。Roadway 起码要作稍微改善才能让车辆通过。 Roadway 包括泥路、砾石铺成的路、水泥或柏油路铺成的路和高速公路。") chinese_format.kif 3359-3361
(documentation Roadway EnglishLanguage "Roadway is the subclass of LandTransitways that are areas intended for surface travel by self-powered, wheeled vehicles, excluding those that travel on tracks. Roadways have been at least minimally improved to enable the passage of vehicles. Roadways include dirt and gravelled roads, paved streets, and expressways.") Merge.kif 13265-13270
(externalImage Roadway "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ Street.jpg") pictureList.kif 183-183
(subclass Roadway LandTransitway) Merge.kif 13264-13264 subclass Roadway and LandTransitway

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


(subclass Driveway Roadway) Mid-level-ontology.kif 15577-15577 subclass Driveway and Roadway
(subclass Lane Roadway) Transportation.kif 1631-1631 subclass Lane and Roadway
(subclass Road Roadway) Mid-level-ontology.kif 20084-20084 subclass Road and Roadway
(subclass RoadJunction Roadway) Transportation.kif 2949-2949 subclass RoadJunction and Roadway
(subclass SecondaryHighway Roadway) Transportation.kif 1628-1628 subclass SecondaryHighway and Roadway
(subclass Street Roadway) Transportation.kif 1629-1629 subclass Street and Roadway
(subclass SurfacedRoadway Roadway) Transportation.kif 614-614 subclass SurfacedRoadway and Roadway
(subclass UnsurfacedRoadway Roadway) Transportation.kif 624-624 subclass UnsurfacedRoadway and Roadway
(termFormat ChineseLanguage Roadway "巷道") domainEnglishFormat.kif 50123-50123
(termFormat ChineseTraditionalLanguage Roadway "巷道") domainEnglishFormat.kif 50122-50122
(termFormat EnglishLanguage Roadway "roadway") domainEnglishFormat.kif 50121-50121

appearance as argument number 3
-------------------------


(domain StreetAddressFn 2 Roadway) Mid-level-ontology.kif 6347-6347 domain StreetAddressFn, 2 and Roadway
(domain postStreet 2 Roadway) Mid-level-ontology.kif 22646-22646 domain postStreet, 2 and Roadway

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


(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 478-485 totalLengthOfHighwaySystem GeographicArea and LengthMeasure length KappaFn SymbolicString and instance SymbolicString and Roadway located SymbolicString and GeographicArea and LengthMeasure
(=>
    (and
        (instance ?S RoadTransportationSystem)
        (routeInSystem ?P ?S))
    (instance ?P Roadway))
Transportation.kif 2079-2083
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?HIGHWAY)
        (and
            (instance ?HIGHWAY Roadway)
            (located ?HIGHWAY ?AREA))))
Transportation.kif 487-495
(=>
    (instance ?ATV AllTerrainVehicle)
    (hasPurpose ?ATV
        (exists (?D ?L)
            (and
                (instance ?D Transportation)
                (instrument ?D ?ATV)
                (holdsDuring
                    (WhenFn ?D)
                    (orientation ?ATV ?L On))
                (not
                    (instance ?L Roadway))))))
Cars.kif 4749-4759
(=>
    (instance ?C Curb)
    (exists (?S ?R)
        (and
            (instance ?S Sidewalk)
            (instance ?R Roadway)
            (connects ?C ?S ?R))))
Mid-level-ontology.kif 12768-12774
(=>
    (instance ?SIDE Sidewalk)
    (exists (?ROAD)
        (and
            (instance ?ROAD Roadway)
            (orientation ?SIDE ?ROAD Near))))
Mid-level-ontology.kif 13340-13345
(=>
    (instance ?X BusStop)
    (exists (?R)
        (and
            (instance ?R Roadway)
            (meetsSpatially ?X ?R))))
Transportation.kif 1992-1997


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