Roadway - Sigma Knowledge base Browser

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 "Roadway 是 LandTransitway 的子类别，它是专为设有自备电源、有轮胎，却不在轨道上运行的车辆在地面运行的地带。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 14346-14351
(externalImage Roadway "http://upload.wikimedia.org/wikipedia/commons/c/ c9/ Street.jpg")	pictureList.kif 183-183
(subclass Roadway LandTransitway)	Merge.kif 14345-14345	Roadway is a subclass of land transitway

appearance as argument number 2

(subclass Driveway Roadway)	Mid-level-ontology.kif 18134-18134	Driveway is a subclass of roadway
(subclass Lane Roadway)	Transportation.kif 1786-1786	Lane is a subclass of roadway
(subclass Road Roadway)	Mid-level-ontology.kif 22501-22501	Road is a subclass of roadway
(subclass RoadJunction Roadway)	Transportation.kif 3771-3771	Road junction is a subclass of roadway
(subclass SecondaryHighway Roadway)	Transportation.kif 1783-1783	Secondary highway is a subclass of roadway
(subclass Street Roadway)	Transportation.kif 1784-1784	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 50244-50244	Unsurfaced roadway is a subclass of roadway
(termFormat ChineseTraditionalLanguage Roadway "巷道")	domainEnglishFormat.kif 50243-50243	Unsurfaced roadway is a subclass of roadway
(termFormat EnglishLanguage Roadway "roadway")	domainEnglishFormat.kif 50242-50242	Unsurfaced roadway is a subclass of roadway

appearance as argument number 3

(domain StreetAddressFn 2 Roadway)	Mid-level-ontology.kif 6702-6702	The number 2 argument of street address is an instance of roadway
(domain postStreet 2 Roadway)	Mid-level-ontology.kif 25102-25102	The number 2 argument of post street 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 2258-2262	If a transit system is an instance of road transportation system and the transit system is a route in system of a transitway, then the transitway is an instance of roadway
(=> (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	If a real number an unit of measure(s) is a total length of highway system of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of roadway and the physical is located at the geographic area
(=> (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 4753-4763	If a physical is an instance of all-terrain vehicle, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the physical is an instrument for the entity and the physical is on to the other entity holds during the time of existence of the entity and the other entity is not an instance of roadway
(=> (instance ?C Curb) (exists (?S ?R) (and (instance ?S Sidewalk) (instance ?R Roadway) (connects ?C ?S ?R))))	Mid-level-ontology.kif 15269-15275	If an object is an instance of curb, then there exist another object and a third object such that the other object is an instance of sidewalk and the third object is an instance of roadway and the object connects the other object and the third object
(=> (instance ?SIDE Sidewalk) (exists (?ROAD) (and (instance ?ROAD Roadway) (orientation ?SIDE ?ROAD Near))))	Mid-level-ontology.kif 15880-15885	If an object is an instance of sidewalk, then there exists another object such that the other object is an instance of roadway and the object is near to the other object
(=> (instance ?X BusStop) (exists (?R) (and (instance ?R Roadway) (meetsSpatially ?X ?R))))	Transportation.kif 2142-2147	If an object is an instance of bus stop, then there exists another object such that the other object is an instance of roadway and the object meets the other object
(=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A AirTransitway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Railway) (instance ?B Roadway) (instance ?B Waterway)))))	Transportation.kif 3650-3665	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of air transitway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and the motion is not equal to the other motion and the other transitway is an instance of railway or the other transitway is an instance of roadway or the other transitway is an instance of waterway
(=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A Railway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Waterway) (instance ?B Roadway) (instance ?B AirTransitway)))))	Transportation.kif 3684-3699	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of railway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and the motion is not equal to the other motion and the other transitway is an instance of waterway or the other transitway is an instance of roadway or the other transitway is an instance of air transitway
(=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A Roadway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Waterway) (instance ?B Railway) (instance ?B AirTransitway)))))	Transportation.kif 3701-3716	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of roadway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and the motion is not equal to the other motion and the other transitway is an instance of waterway or the other transitway is an instance of railway or the other transitway is an instance of air transitway
(=> (instance ?X MultimodalTransitPoint) (exists (?T1 ?A ?T2 ?B) (and (instance ?T1 (TransitFn ?A)) (instance ?A Waterway) (path ?T1 ?A) (instance ?T2 (TransitFn ?B)) (path ?T2 ?B) (connects ?X ?A ?B) (not (equal ?T1 ?T2)) (or (instance ?B Railway) (instance ?B Roadway) (instance ?B AirTransitway)))))	Transportation.kif 3667-3682	If an object is an instance of multi modal transportation point, then there exist a motion, a transitway,, , another motion and another transitway such that the motion is an instance of the transit of the transitway and the transitway is an instance of waterway and the transitway is path along which the motion occurs and the other motion is an instance of the transit of the other transitway and the other transitway is path along which the other motion occurs and the object connects the transitway and the other transitway and the motion is not equal to the other motion and the other transitway is an instance of railway or the other transitway is an instance of roadway or the other transitway is an instance of air transitway

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