Railway - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Railway

Railway(railway)

cable_railway, funicular, funicular_railway, monorail, rail, scenic_railway

appearance as argument number 1

(documentation Railway EnglishLanguage "Railway is the subclass of LandTransitways that have rails along which Trains may travel. A railway consists of the rail bed, sleepers, tracks, electric rails, switches, sensors, lights, crossing grades, and any other integral machinery or parts of a section of railway.")	Transportation.kif 347-351
(externalImage Railway "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d1/ 08_tory_railtrack_ubt.jpeg/ 120px-08_tory_railtrack_ubt.jpeg")	pictureList.kif 1228-1228
(subclass Railway LandTransitway)	Transportation.kif 345-345	Railway is a subclass of land transitway
(subclass Railway StationaryArtifact)	Transportation.kif 346-346	Railway is a subclass of stationary artifact

appearance as argument number 2

(subclass BroadGaugeRailway Railway)	Transportation.kif 353-353	Broad gauge railway is a subclass of railway
(subclass DualGaugeRailway Railway)	Transportation.kif 354-354	Dual gauge railway is a subclass of railway
(subclass ElectrifiedRailway Railway)	Transportation.kif 358-358	Electrified railway is a subclass of railway
(subclass MultipleTrackRailway Railway)	Transportation.kif 362-362	Multiple track railway is a subclass of railway
(subclass NarrowGaugeRailway Railway)	Transportation.kif 355-355	Narrow gauge railway is a subclass of railway
(subclass RailJunction Railway)	Transportation.kif 3777-3777	Rail junction is a subclass of railway
(subclass Railhead Railway)	Transportation.kif 2231-2231	Railhead is a subclass of railway
(subclass StandardGaugeRailway Railway)	Transportation.kif 356-356	Standard gauge railway is a subclass of railway
(termFormat ChineseLanguage Railway "铁路")	domainEnglishFormat.kif 48714-48714	Standard gauge railway is a subclass of railway
(termFormat ChineseTraditionalLanguage Railway "鐵路")	domainEnglishFormat.kif 48713-48713	Standard gauge railway is a subclass of railway
(termFormat EnglishLanguage Railway "railway")	domainEnglishFormat.kif 48712-48712	Standard gauge railway is a subclass of railway

appearance as argument number 3

(domain trackWidth 1 Railway)

Transportation.kif 396-396

The number 1 argument of track width is an instance of railway

antecedent

(=> (and (instance ?RR Railway) (property ?RR BroadGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (greaterThan ?WIDTH 1.44))	Transportation.kif 403-409	If a railway is an instance of railway and the railway the attribute broad gauge and a real number meter(s) is a track width of the railway, then the real number is greater than 1.44
(=> (and (instance ?RR Railway) (property ?RR NarrowGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (lessThanOrEqualTo ?WIDTH 1.435))	Transportation.kif 453-458	If a railway is an instance of railway and the railway the attribute narrow gauge and a real number meter(s) is a track width of the railway, then the real number is less than or equal to 1.435
(=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (greaterThanOrEqualTo ?WIDTH 1.435))	Transportation.kif 427-433	If a railway is an instance of railway and the railway the attribute standard gauge and a real number meter(s) is a track width of the railway, then the real number is greater than or equal to 1.435
(=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (lessThanOrEqualTo ?WIDTH 1.44))	Transportation.kif 435-441	If a railway is an instance of railway and the railway the attribute standard gauge and a real number meter(s) is a track width of the railway, then the real number is less than or equal to 1.44

consequent

(<=> (totalLengthOfRailwaySystem ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS Railway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 98-105	A length measure is a total length of railway 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 ?R RailTransportationSystem) (routeInSystem ?P ?R)) (instance ?P Railway))	Transportation.kif 2214-2218	If a transit system is an instance of rail transportation system and the transit system is a route in system of a transitway, then the transitway is an instance of railway
(=> (and (lengthOfUnclassifiedGaugeRailway ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY Railway) (located ?RAILWAY ?AREA))))	Transportation.kif 308-316	If a real number an unit of measure(s) is a length of unclassified gauge railway 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 railway and the physical is located at the geographic area
(=> (and (totalLengthOfRailwaySystem ?AREA (MeasureFn ?LENGTH Mile)) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY Railway) (located ?RAILWAY ?AREA))))	Transportation.kif 107-115	If a real number mile(s) is a total length of railway system of a geographic area and the real number is greater than 0, then there exists a physical such that the physical is an instance of railway and the physical is located at the geographic area
(=> (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
(=> (instance ?X RailVehicle) (hasPurpose ?X (exists (?EV ?RAIL) (and (instance ?RAIL Railway) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?RAIL))))))	Transportation.kif 2176-2185	If a physical is an instance of rail vehicle, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of railway and the entity is an instance of transportation and the physical meets the other entity holds during the time of existence of the entity

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