(<=>
(lengthOfBroadGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS BroadGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) 
Transportation.kif 182189 
A length measure is a length of broad gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(<=>
(lengthOfCrudeOilPipeline ?AREA ?LENGTH)
(length
(KappaFn ?PIPELINE
(and
(instance ?PIPELINE CrudeOilPipeline)
(located ?PIPELINE ?AREA))) ?LENGTH)) 
Transportation.kif 712719 
A length measure is a length of crude oil pipeline of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(<=>
(lengthOfDualGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS DualGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) 
Transportation.kif 210217 
A length measure is a length of dual gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(<=>
(lengthOfElectrifiedRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS ElectrifiedRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) 
Transportation.kif 126133 
A length measure is a length of electrified railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(<=>
(lengthOfExpresswaySystem ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS Expressway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) 
Transportation.kif 568575 
A length measure is a length of expressway system of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(<=>
(lengthOfMultipleTrackRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS MultipleTrackRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) 
Transportation.kif 154161 
A length measure is a length of multiple track railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(<=>
(lengthOfNarrowGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS NarrowGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) 
Transportation.kif 237244 
A length measure is a length of narrow gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(<=>
(lengthOfNaturalGasPipeline ?AREA ?LENGTH)
(length
(KappaFn ?PIPELINE
(and
(instance ?PIPELINE NaturalGasPipeline)
(located ?PIPELINE ?AREA))) ?LENGTH)) 
Transportation.kif 735742 
A length measure is a length of natural gas pipeline of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(<=>
(lengthOfPavedHighway ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS SurfacedRoadway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) 
Transportation.kif 542549 
A length measure is a length of paved highway of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(<=>
(lengthOfPetroleumProductPipeline ?AREA ?LENGTH)
(length
(KappaFn ?PIPELINE
(and
(instance ?PIPELINE PetroleumProductPipeline)
(located ?PIPELINE ?AREA))) ?LENGTH)) 
Transportation.kif 758765 
A length measure is a length of petroleum product pipeline of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(<=>
(lengthOfStandardGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS StandardGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) 
Transportation.kif 265272 
A length measure is a length of standard gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(<=>
(lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(located ?RAILWAYS ?AREA)
(not
(instance ?RAILWAYS
(UnionFn StandardGaugeRailway
(UnionFn BroadGaugeRailway
(UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH)) 
Transportation.kif 294306 
A length measure is a length of unclassified gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(<=>
(lengthOfUnpavedHighway ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS UnsurfacedRoadway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) 
Transportation.kif 601608 
A length measure is a length of unpaved highway of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(<=>
(totalLengthOfHighwaySystem ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS Roadway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) 
Transportation.kif 484491 
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 
(<=>
(totalLengthOfRailwaySystem ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS Railway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) 
Transportation.kif 98105 
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 
(<=>
(totalLengthOfWaterways ?AREA ?LENGTH)
(length
(KappaFn ?WATERWAY
(and
(instance ?WATERWAY Waterway)
(partlyLocated ?WATERWAY ?AREA))) ?LENGTH)) 
Transportation.kif 656663 
A length measure is a total length of waterways of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(<=>
(totalPipelineInArea ?AREA ?LENGTH)
(length
(KappaFn ?PIPE
(and
(instance ?PIPE Pipeline)
(located ?PIPE ?AREA))) ?LENGTH)) 
Transportation.kif 685692 
A length measure is a total pipeline in area of a geographic area if and only if the length of the class described by a symbolic string is the length measure 
(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT LongRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY
(MeasureFn ?LENGTH Meter))
(or
(greaterThanOrEqualTo ?LENGTH 2438)
(lessThanOrEqualTo ?LENGTH 3047))))) 
Transportation.kif 14451457 

(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT MediumLengthRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY
(MeasureFn ?LENGTH Meter))
(or
(greaterThanOrEqualTo ?LENGTH 1524)
(lessThanOrEqualTo ?LENGTH 2437))))) 
Transportation.kif 14261438 

(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT ShortRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY
(MeasureFn ?LENGTH Meter))
(or
(greaterThanOrEqualTo ?LENGTH 914)
(lessThanOrEqualTo ?LENGTH 1523))))) 
Transportation.kif 14071419 

(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT VeryLongRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY
(MeasureFn ?LENGTH Meter))
(greaterThan ?LENGTH 3047)))) 
Transportation.kif 14641474 

(=>
(and
(instance ?AIRPORT Airport)
(attribute ?AIRPORT VeryShortRunwayAirport))
(exists (?RUNWAY ?LENGTH)
(and
(instance ?RUNWAY Runway)
(part ?RUNWAY ?AIRPORT)
(length ?RUNWAY
(MeasureFn ?LENGTH Meter))
(lessThan ?LENGTH 914)))) 
Transportation.kif 13911400 

(=>
(and
(instance ?L Lengthening)
(patient ?L ?O))
(exists (?L1 ?L2 ?U)
(and
(instance ?U UnitOfLength)
(holdsDuring
(BeginFn
(WhenFn ?L))
(length ?O
(MeasureFn ?L1 ?U)))
(holdsDuring
(EndFn
(WhenFn ?L))
(length ?O
(MeasureFn ?L2 ?U)))
(greaterThan ?L2 ?L1)))) 
Midlevelontology.kif 2335423369 

(=>
(and
(instance ?S Shortening)
(patient ?S ?O))
(exists (?L1 ?L2 ?U)
(and
(instance ?U UnitOfLength)
(holdsDuring
(BeginFn
(WhenFn ?S))
(length ?O
(MeasureFn ?L1 ?U)))
(holdsDuring
(EndFn
(WhenFn ?S))
(length ?O
(MeasureFn ?L2 ?U)))
(greaterThan ?L1 ?L2)))) 
Midlevelontology.kif 1670216717 

(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(member ?O ?S))
(length ?O ?Q)) 
Midlevelontology.kif 3056430569 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 