No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 12661276 
A geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer if and only if the nonnegative integer is a cardinality of the class described by a symbolic string 
No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 12101217 
A geographic area is total facility type in area a class for a nonnegative integer if and only if the nonnegative integer is a cardinality of the class described by a symbolic string 
No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 14671476 

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

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

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