No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
( ∀ [V__AIRPORT]
((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__LongRunwayAirport))
s__=>(s__exists__m[V__RUNWAY,V__LENGTH]
(s__instance(V__LENGTH,s__Quantity)s__and__m(s__instance(V__RUNWAY,s__Runway)s__and__ms__part(V__RUNWAY,V__AIRPORT)
s__and__ms__length(V__RUNWAY,V__LENGTH)
s__and__m(s__greaterThanOrEqualTo(V__LENGTH,s__MeasureFn(2438,s__Meter))
s__or__ms__lessThanOrEqualTo(V__LENGTH,s__MeasureFn(3047,s__Meter)))))))
)

Transportation.kif 14171428 

( ∀ [V__AIRPORT]
((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__MediumLengthRunwayAirport))
s__=>(s__exists__m[V__RUNWAY,V__LENGTH]
(s__instance(V__LENGTH,s__Quantity)s__and__m(s__instance(V__RUNWAY,s__Runway)s__and__ms__part(V__RUNWAY,V__AIRPORT)
s__and__ms__length(V__RUNWAY,V__LENGTH)
s__and__m(s__greaterThanOrEqualTo(V__LENGTH,s__MeasureFn(1524,s__Meter))
s__or__ms__lessThanOrEqualTo(V__LENGTH,s__MeasureFn(2437,s__Meter)))))))
)

Transportation.kif 13991410 

( ∀ [V__AIRPORT]
((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__ShortRunwayAirport))
s__=>(s__exists__m[V__RUNWAY,V__LENGTH]
(s__instance(V__LENGTH,s__Quantity)s__and__m(s__instance(V__RUNWAY,s__Runway)s__and__ms__part(V__RUNWAY,V__AIRPORT)
s__and__ms__length(V__RUNWAY,V__LENGTH)
s__and__m(s__greaterThanOrEqualTo(V__LENGTH,s__MeasureFn(914,s__Meter))
s__or__ms__lessThanOrEqualTo(V__LENGTH,s__MeasureFn(1523,s__Meter)))))))
)

Transportation.kif 13811392 

( ∀ [V__AIRPORT]
((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__VeryLongRunwayAirport))
s__=>(s__exists__m[V__RUNWAY,V__LENGTH]
(s__instance(V__LENGTH,s__Quantity)s__and__m(s__instance(V__RUNWAY,s__Runway)s__and__ms__part(V__RUNWAY,V__AIRPORT)
s__and__ms__length(V__RUNWAY,V__LENGTH)
s__and__ms__greaterThan(V__LENGTH,s__MeasureFn(3047,s__Meter))))))
)

Transportation.kif 14351444 

( ∀ [V__AIRPORT]
((s__instance(V__AIRPORT,s__Airport)s__and__ms__attribute(V__AIRPORT,s__VeryShortRunwayAirport))
s__=>(s__exists__m[V__RUNWAY,V__LENGTH]
(s__instance(V__LENGTH,s__Quantity)s__and__m(s__instance(V__RUNWAY,s__Runway)s__and__ms__part(V__RUNWAY,V__AIRPORT)
s__and__ms__length(V__RUNWAY,V__LENGTH)
s__and__ms__lessThan(V__LENGTH,s__MeasureFn(914,s__Meter))))))
)

Transportation.kif 13651374 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2173221744 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1477414786 

( ∀ [V__U,V__F,V__H1,V__H2,V__S1,V__HF,V__S2]
((s__instance(V__U,s__UnitOfMeasure)s__and__ms__instance(V__F,s__SelfConnectedObject)s__and__ms__instance(V__H1,s__RealNumber)s__and__ms__instance(V__H2,s__RealNumber)s__and__ms__instance(V__S1,s__SelfConnectedObject)s__and__ms__instance(V__HF,s__RealNumber)s__and__ms__instance(V__S2,s__SelfConnectedObject))
s__=>(s__attribute(V__F,s__LongAndThin)s__=>(s__side(V__S1,V__F)
s__and__ms__side(V__S2,V__F)
s__and__ms__meetsSpatially(V__S1,V__S2)
s__and__m(s__not__m(V__S1s__equal__mV__S2))
s__and__ms__length(V__F,s__MeasureFn(V__HF,V__U))
s__and__ms__length(V__S1,s__MeasureFn(V__H1,V__U))
s__and__ms__length(V__S2,s__MeasureFn(V__H2,V__U))
s__and__ms__lessThan(V__H1,s__MultiplicationFn(3,V__HF))
s__and__ms__lessThan(V__H2,s__MultiplicationFn(3,V__HF)))))
)

Midlevelontology.kif 32763287 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 