| StandardGauge(standard gauge)
| | standard_gauge, 标准规, 標準規 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 412-421 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6893-6893 | "http://upload.wikimedia.org/wikipedia/commons/1/1f/ Rail_gauge_world.png" is a URL depicting standard gauge |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 411-411 | Standard gauge is an instance of track gauge |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 388-388 | Broad gauge is the opposite of standard gauge |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54931-54931 | "标准规" is the printable form of standard gauge in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54930-54930 | "標準規" is the printable form of standard gauge in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54929-54929 | "standard gauge" is the printable form of standard gauge in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 423-428 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 430-435 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 437-439 | An entity is an instance of standard gauge railway if and only if the entity the attribute standard gauge |
|
|
|