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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Railway

Sigma KEE - Railway
Railway(railway)
cable_railway, funicular, funicular_railway, monorail, rail, railway, scenic_railway

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


s__documentation(s__Railway,s__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 344-348
s__externalImage(s__Railway,'http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d1/ 08_tory_railtrack_ubt.jpeg/ 120px-08_tory_railtrack_ubt.jpeg')

pictureList.kif 1229-1229 "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d1/ 08_tory_railtrack_ubt.jpeg/ 120px-08_tory_railtrack_ubt.jpeg" is a URL depicting railway
s__subclass(s__Railway,s__LandTransitway)

s__instance(s__LandTransitway,s__SetOrClass)

s__instance(s__Railway,s__SetOrClass)

Transportation.kif 342-342 Railway is a subclass of land transitway
s__instance(s__StationaryArtifact,s__SetOrClass)

s__subclass(s__Railway,s__StationaryArtifact)

s__instance(s__Railway,s__SetOrClass)

Transportation.kif 343-343 Railway is a subclass of stationary artifact

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


s__instance(s__BroadGaugeRailway,s__SetOrClass)

s__instance(s__Railway,s__SetOrClass)

s__subclass(s__BroadGaugeRailway,s__Railway)

Transportation.kif 350-350 Broad gauge railway is a subclass of railway
s__subclass(s__DualGaugeRailway,s__Railway)

s__instance(s__DualGaugeRailway,s__SetOrClass)

s__instance(s__Railway,s__SetOrClass)

Transportation.kif 351-351 Dual gauge railway is a subclass of railway
s__subclass(s__ElectrifiedRailway,s__Railway)

s__instance(s__ElectrifiedRailway,s__SetOrClass)

s__instance(s__Railway,s__SetOrClass)

Transportation.kif 355-355 Electrified railway is a subclass of railway
s__instance(s__MultipleTrackRailway,s__SetOrClass)

s__subclass(s__MultipleTrackRailway,s__Railway)

s__instance(s__Railway,s__SetOrClass)

Transportation.kif 359-359 Multiple track railway is a subclass of railway
s__subclass(s__NarrowGaugeRailway,s__Railway)

s__instance(s__NarrowGaugeRailway,s__SetOrClass)

s__instance(s__Railway,s__SetOrClass)

Transportation.kif 352-352 Narrow gauge railway is a subclass of railway
s__instance(s__RailJunction,s__SetOrClass)

s__subclass(s__RailJunction,s__Railway)

s__instance(s__Railway,s__SetOrClass)

Transportation.kif 2921-2921 Rail junction is a subclass of railway
s__subclass(s__StandardGaugeRailway,s__Railway)

s__instance(s__Railway,s__SetOrClass)

s__instance(s__StandardGaugeRailway,s__SetOrClass)

Transportation.kif 353-353 Standard gauge railway is a subclass of railway
s__termFormat(s__EnglishLanguage,s__Railway,'railway')

domainEnglishFormat.kif 8536-8536 "railway" is the printable form of railway in english language

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


s__domain(s__trackWidth__m,1,s__Railway)

Transportation.kif 393-393 The number 1 argument of track width is an instance of railway

antecedent
-------------------------


( ∀ [V__WIDTH,V__RR]
   (s__instance(V__WIDTH,s__LengthMeasure)s__=>((s__instance(V__RR,s__Railway)s__and__ms__property(V__RR,s__BroadGauge)s__and__ms__trackWidth(V__RR,V__WIDTH))
    s__=>s__greaterThan(V__WIDTH,s__MeasureFn(1.44,s__Meter))))
)

Transportation.kif 400-405
( ∀ [V__WIDTH,V__RR]
   (s__instance(V__WIDTH,s__LengthMeasure)s__=>((s__instance(V__RR,s__Railway)s__and__ms__property(V__RR,s__NarrowGauge)s__and__ms__trackWidth(V__RR,V__WIDTH))
    s__=>s__lessThanOrEqualTo(V__WIDTH,s__MeasureFn(1.435,s__Meter))))
)

Transportation.kif 447-452
( ∀ [V__WIDTH,V__RR]
   (s__instance(V__WIDTH,s__LengthMeasure)s__=>((s__instance(V__RR,s__Railway)s__and__ms__property(V__RR,s__StandardGauge)s__and__ms__trackWidth(V__RR,V__WIDTH))
    s__=>s__greaterThanOrEqualTo(V__WIDTH,s__MeasureFn(1.435,s__Meter))))
)

Transportation.kif 423-428
( ∀ [V__WIDTH,V__RR]
   (s__instance(V__WIDTH,s__LengthMeasure)s__=>((s__instance(V__RR,s__Railway)s__and__ms__property(V__RR,s__StandardGauge)s__and__ms__trackWidth(V__RR,V__WIDTH))
    s__=>s__lessThanOrEqualTo(V__WIDTH,s__MeasureFn(1.44,s__Meter))))
)

Transportation.kif 430-435

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


No TPTP formula. May not be expressible in strict first order. 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
( ∀ [V__AREA,V__LENGTH,V__UNIT]
   ((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__LENGTH,s__RealNumber))
    s__=>((s__lengthOfUnclassifiedGaugeRailway(V__AREA,s__MeasureFn(V__LENGTH,V__UNIT))
    s__and__ms__instance(V__UNIT,s__UnitOfLength)s__and__ms__greaterThan(V__LENGTH,0))
s__=>(s__exists__m[V__RAILWAY]
   (s__instance(V__RAILWAY,s__Railway)s__and__ms__located(V__RAILWAY,V__AREA)))))
)

Transportation.kif 305-313
( ∀ [V__AREA,V__LENGTH]
   ((s__instance(V__AREA,s__GeographicArea)s__and__ms__instance(V__LENGTH,s__LengthMeasure))
    s__=>((s__totalLengthOfRailwaySystem(V__AREA,V__LENGTH)
      s__and__ms__greaterThan(V__LENGTH,0))
  s__=>(s__exists__m[V__RAILWAY]
     (s__instance(V__RAILWAY,s__Railway)s__and__ms__located(V__RAILWAY,V__AREA)))))
)

Transportation.kif 107-114
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2000-2009


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners