No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 399-399 |
宽规 是 轨距 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 464-464 |
双轨铁路 是 轨距 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 447-447 |
窄规 是 轨距 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 415-415 |
标准规 是 轨距 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48626-48626 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48625-48625 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48624-48624 |
|