(<=>
(lengthOfBroadGaugeRailway ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS BroadGaugeRailway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) 
Transportation.kif 179186 
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 701708 
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 207214 
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 125132 
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 558565 
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 152159 
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 234241 
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 724731 
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 532539 
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 747754 
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 262269 
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 291303 
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 590597 
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 478485 
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 645652 
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 674681 
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 ?LENGTH)
(or
(greaterThanOrEqualTo ?LENGTH
(MeasureFn 2438 Meter))
(lessThanOrEqualTo ?LENGTH
(MeasureFn 3047 Meter)))))) 
Transportation.kif 14321443 

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

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

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

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

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

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

(=>
(attribute ?F LongAndThin)
(and
(side ?S1 ?F)
(side ?S2 ?F)
(meetsSpatially ?S1 ?S2)
(not
(equal ?S1 ?S2))
(length ?F
(MeasureFn ?HF ?U))
(length ?S1
(MeasureFn ?H1 ?U))
(length ?S2
(MeasureFn ?H2 ?U))
(lessThan ?H1
(MultiplicationFn 3 ?HF))
(lessThan ?H2
(MultiplicationFn 3 ?HF)))) 
Midlevelontology.kif 32773288 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 