| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 345-345 | 铁路 是 陆地过境通道 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 346-346 | 铁路 是 固定人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 353-353 | 宽轨铁路 是 铁路 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 354-354 | DualGaugeRailway 是 铁路 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 355-355 | 窄轨铁路 是 铁路 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 356-356 | 标准轨距铁路 是 铁路 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 358-358 | 电气化铁路 是 铁路 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 362-362 | 多轨铁路 是 铁路 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2977-2977 | 铁路枢纽 是 铁路 的 subclass |
|
|