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

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

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 