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 
No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 14451457 

No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 14261438 

No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 14071419 

No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 14641474 

No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 13911400 

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 