TreeView Knowledge Base Browser - Railway

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Railway

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 ist eine teilkategorie von LandTransitway
(subclass Railway StationaryArtifact)	Transportation.kif 346-346	Railway ist eine teilkategorie von StationaryArtifact

appearance as argument number 2

(subclass BroadGaugeRailway Railway)	Transportation.kif 353-353	BroadGaugeRailway ist eine teilkategorie von Railway
(subclass DualGaugeRailway Railway)	Transportation.kif 354-354	DualGaugeRailway ist eine teilkategorie von Railway
(subclass ElectrifiedRailway Railway)	Transportation.kif 358-358	ElectrifiedRailway ist eine teilkategorie von Railway
(subclass MultipleTrackRailway Railway)	Transportation.kif 362-362	MultipleTrackRailway ist eine teilkategorie von Railway
(subclass NarrowGaugeRailway Railway)	Transportation.kif 355-355	NarrowGaugeRailway ist eine teilkategorie von Railway
(subclass RailJunction Railway)	Transportation.kif 2977-2977	RailJunction ist eine teilkategorie von Railway
(subclass StandardGaugeRailway Railway)	Transportation.kif 356-356	StandardGaugeRailway ist eine teilkategorie von Railway
(termFormat ChineseLanguage Railway "铁路")	domainEnglishFormat.kif 48674-48674
(termFormat ChineseTraditionalLanguage Railway "鐵路")	domainEnglishFormat.kif 48673-48673
(termFormat EnglishLanguage Railway "railway")	domainEnglishFormat.kif 48672-48672

appearance as argument number 3

(domain trackWidth 1 Railway)

Transportation.kif 396-396

Die Zahl 1 Argument von trackWidth ist ein fall von Railway %n{nicht}

antecedent

(=> (and (instance ?RR Railway) (property ?RR BroadGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (greaterThan ?WIDTH 1.44))	Transportation.kif 403-409	Wenn Railway ist ein fall von Railway %n{nicht} und Railway hat ein attribut BroadGauge %n{nicht} und trackWidth Railway and RealNumber Meter(s), dann ** RealNumber ist groesserAls 1.44 %n{nicht}
(=> (and (instance ?RR Railway) (property ?RR NarrowGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (lessThanOrEqualTo ?WIDTH 1.435))	Transportation.kif 453-458	Wenn Railway ist ein fall von Railway %n{nicht} und Railway hat ein attribut NarrowGauge %n{nicht} und trackWidth Railway and RealNumber Meter(s), dann ** RealNumber ist kleinerAlsOderGleich 1.435 %n{nicht}
(=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (greaterThanOrEqualTo ?WIDTH 1.435))	Transportation.kif 427-433	Wenn Railway ist ein fall von Railway %n{nicht} und Railway hat ein attribut StandardGauge %n{nicht} und trackWidth Railway and RealNumber Meter(s), dann ** RealNumber ist groesserAlsOderGleich 1.435 %n{nicht}
(=> (and (instance ?RR Railway) (property ?RR StandardGauge) (trackWidth ?RR (MeasureFn ?WIDTH Meter))) (lessThanOrEqualTo ?WIDTH 1.44))	Transportation.kif 435-441	Wenn Railway ist ein fall von Railway %n{nicht} und Railway hat ein attribut StandardGauge %n{nicht} und trackWidth Railway and RealNumber Meter(s), dann ** RealNumber ist kleinerAlsOderGleich 1.44 %n{nicht}

consequent

(<=> (totalLengthOfRailwaySystem ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS Railway) (located ?RAILWAYS ?AREA))) ?LENGTH))	Transportation.kif 98-105	totalLengthOfRailwaySystem GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(=> (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	Wenn lengthOfUnclassifiedGaugeRailway GeographicArea and RealNumber UnitOfMeasure(s) und UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und RealNumber ist groesserAls 0 %n{nicht}, dann es gibt Physical um Physical ist ein fall von Railway %n{nicht} und Physical befindet sich an %n{nicht}
(=> (and (totalLengthOfRailwaySystem ?AREA (MeasureFn ?LENGTH Mile)) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY Railway) (located ?RAILWAY ?AREA))))	Transportation.kif 107-115	Wenn totalLengthOfRailwaySystem GeographicArea and RealNumber Mile(s) und RealNumber ist groesserAls 0 %n{nicht}, dann es gibt Physical um Physical ist ein fall von Railway %n{nicht} und ** Physical befindet sich an %n{nicht}
(=> (instance ?X RailVehicle) (hasPurpose ?X (exists (?EV ?RAIL) (and (instance ?RAIL Railway) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?RAIL))))))	Transportation.kif 2036-2045	Wenn Physical ist ein fall von RailVehicle %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Railway %n{nicht} und entity ist ein fall von Transportation %n{nicht} und Physical schliesst entity raeumlich an haelt waehrend die zeit des Bestehens von ** entity %n{nicht} %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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