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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Roadway
Roadway(roadway)
Champs_Elysees, Downing_Street, Harley_Street, Lombard_Street, Pall_Mall, Whitehall, access_road, arterial_road, artery, beltway, bus_lane, bypass, bypath, byroad, byway, causeway, clearway, cross_street, detour, drive, inside_track, local_road, local_street, parkway, ring_road, ringway, road, roadway, roundabout_way, route, rue, side_street, slip_road, street, traffic_lane, two-way_street

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 13648-13653
(externalImage Roadway "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ Street.jpg") pictureList.kif 183-183
(subclass Roadway LandTransitway) Merge.kif 13647-13647 Roadway is a subclass of land transitway

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


(subclass Driveway Roadway) Mid-level-ontology.kif 16950-16950 Driveway is a subclass of roadway
(subclass Lane Roadway) Transportation.kif 1646-1646 Lane is a subclass of roadway
(subclass Road Roadway) Mid-level-ontology.kif 21342-21342 Road is a subclass of roadway
(subclass RoadJunction Roadway) Transportation.kif 2978-2978 Road junction is a subclass of roadway
(subclass SecondaryHighway Roadway) Transportation.kif 1643-1643 Secondary highway is a subclass of roadway
(subclass Street Roadway) Transportation.kif 1644-1644 Street is a subclass of roadway
(subclass SurfacedRoadway Roadway) Transportation.kif 625-625 Surfaced roadway is a subclass of roadway
(subclass UnsurfacedRoadway Roadway) Transportation.kif 635-635 Unsurfaced roadway is a subclass of roadway
(termFormat ChineseLanguage Roadway "巷道") domainEnglishFormat.kif 50187-50187
(termFormat ChineseTraditionalLanguage Roadway "巷道") domainEnglishFormat.kif 50186-50186
(termFormat EnglishLanguage Roadway "roadway") domainEnglishFormat.kif 50185-50185

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


(domain StreetAddressFn 2 Roadway) Mid-level-ontology.kif 6344-6344 The number 2 argument of street address is an instance of roadway
(domain postStreet 2 Roadway) Mid-level-ontology.kif 23833-23833 The number 2 argument of postStreet is an instance of roadway

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


(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 484-491 A length measure is a total length of highway system of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(=>
    (and
        (instance ?S RoadTransportationSystem)
        (routeInSystem ?P ?S))
    (instance ?P Roadway))
Transportation.kif 2097-2101
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?HIGHWAY)
        (and
            (instance ?HIGHWAY Roadway)
            (located ?HIGHWAY ?AREA))))
Transportation.kif 493-501
(=>
    (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 4771-4781
(=>
    (instance ?C Curb)
    (exists (?S ?R)
        (and
            (instance ?S Sidewalk)
            (instance ?R Roadway)
            (connects ?C ?S ?R))))
Mid-level-ontology.kif 14216-14222
(=>
    (instance ?SIDE Sidewalk)
    (exists (?ROAD)
        (and
            (instance ?ROAD Roadway)
            (orientation ?SIDE ?ROAD Near))))
Mid-level-ontology.kif 14808-14813
(=>
    (instance ?X BusStop)
    (exists (?R)
        (and
            (instance ?R Roadway)
            (meetsSpatially ?X ?R))))
Transportation.kif 2010-2015


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