No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
No TPTP formula. May not be expressible in strict first order. 
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 
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 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 
No TPTP formula. May not be expressible in strict first order. 
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 
( ! [V__AIRPORT] :
(((s__instance(V__AIRPORT,s__Airport) &
s__attribute(V__AIRPORT,s__LongRunwayAirport))
=>
(( ? [V__RUNWAY, V__LENGTH] :
((s__instance(V__LENGTH,s__RealNumber) &
(s__instance(V__RUNWAY,s__Runway) &
s__part(V__RUNWAY,V__AIRPORT)
&
s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter))
&
(s__greaterThanOrEqualTo(V__LENGTH,n__2438)

s__lessThanOrEqualTo(V__LENGTH,n__3047))))))))
)
)

Transportation.kif 14451457 

( ! [V__AIRPORT] :
(((s__instance(V__AIRPORT,s__Airport) &
s__attribute(V__AIRPORT,s__MediumLengthRunwayAirport))
=>
(( ? [V__RUNWAY, V__LENGTH] :
((s__instance(V__LENGTH,s__RealNumber) &
(s__instance(V__RUNWAY,s__Runway) &
s__part(V__RUNWAY,V__AIRPORT)
&
s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter))
&
(s__greaterThanOrEqualTo(V__LENGTH,n__1524)

s__lessThanOrEqualTo(V__LENGTH,n__2437))))))))
)
)

Transportation.kif 14261438 

( ! [V__AIRPORT] :
(((s__instance(V__AIRPORT,s__Airport) &
s__attribute(V__AIRPORT,s__ShortRunwayAirport))
=>
(( ? [V__RUNWAY, V__LENGTH] :
((s__instance(V__LENGTH,s__RealNumber) &
(s__instance(V__RUNWAY,s__Runway) &
s__part(V__RUNWAY,V__AIRPORT)
&
s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter))
&
(s__greaterThanOrEqualTo(V__LENGTH,n__914)

s__lessThanOrEqualTo(V__LENGTH,n__1523))))))))
)
)

Transportation.kif 14071419 

( ! [V__AIRPORT] :
(((s__instance(V__AIRPORT,s__Airport) &
s__attribute(V__AIRPORT,s__VeryLongRunwayAirport))
=>
(( ? [V__RUNWAY, V__LENGTH] :
((s__instance(V__LENGTH,s__RealNumber) &
(s__instance(V__RUNWAY,s__Runway) &
s__part(V__RUNWAY,V__AIRPORT)
&
s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter))
&
s__greaterThan(V__LENGTH,n__3047)))))))
)
)

Transportation.kif 14641474 

( ! [V__AIRPORT] :
(((s__instance(V__AIRPORT,s__Airport) &
s__attribute(V__AIRPORT,s__VeryShortRunwayAirport))
=>
(( ? [V__RUNWAY, V__LENGTH] :
((s__instance(V__LENGTH,s__RealNumber) &
(s__instance(V__RUNWAY,s__Runway) &
s__part(V__RUNWAY,V__AIRPORT)
&
s__length(V__RUNWAY,s__MeasureFn(V__LENGTH,s__Meter))
&
s__lessThan(V__LENGTH,n__914)))))))
)
)

Transportation.kif 13911400 

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

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

( ! [V__O,V__Q,V__S,V__M] :
(((s__instance(V__O,s__Physical) &
s__instance(V__Q,s__Quantity) &
s__instance(V__M,s__MeasurementAttribute))
=>
(((s__memberMeasure(V__S,V__M,V__Q)
&
s__instance(V__S,s__Set) &
s__member(V__O,V__S))
=>
(s__length(V__O,V__Q)))))
)
)

Midlevelontology.kif 3029030295 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 