|
|
   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 | 子類 鐵路 and 陸地過境通道 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 346-346 | 子類 鐵路 and StationaryArtifact |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 353-353 | 子類 寬軌鐵路 and 鐵路 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 354-354 | 子類 DualGaugeRailway and 鐵路 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 358-358 | 子類 電氣化鐵路 and 鐵路 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 362-362 | 子類 多軌鐵路 and 鐵路 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 355-355 | 子類 窄軌鐵路 and 鐵路 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2977-2977 | 子類 鐵路樞紐 and 鐵路 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 356-356 | 子類 標準軌距鐵路 and 鐵路 |
| 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 and 鐵路 |
| 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 | LengthMeasure 是 GeographicArea 的 total 鐵路系統長度 length 卡帕 SymbolicString and 例 SymbolicString and 鐵路 位於 SymbolicString and GeographicArea and LengthMeasure |
| 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 |
|
|
|
