| Railway(铁路)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 347-351 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1228-1228 | |
| 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 |
| appearance as argument number 2 |
|
|
| 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 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 355-355 | 窄轨铁路 是 铁路 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2977-2977 | 铁路枢纽 是 铁路 的 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. | domainEnglishFormat.kif 48674-48674 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48673-48673 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48672-48672 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 396-396 | 轨道宽度 的 1 数量 是 铁路 的 instance |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 403-409 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 453-458 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 427-433 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 435-441 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 98-105 | 长度测量 是 地理区域 的 total 铁路系统长度 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 308-316 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 107-115 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2036-2045 |
|
|
|