| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 345-345 | Railway is a subclass of land transitway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 346-346 | Railway is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 353-353 | Broad gauge railway is a subclass of railway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 354-354 | Dual gauge railway is a subclass of railway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 355-355 | Narrow gauge railway is a subclass of railway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 356-356 | Standard gauge railway is a subclass of railway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 358-358 | Electrified railway is a subclass of railway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 362-362 | Multiple track railway is a subclass of railway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2977-2977 | Rail junction is a subclass of railway |
|
|