No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 399-399 |
例 寬規 and 軌距 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 464-464 |
例 雙軌鐵路 and 軌距 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 447-447 |
例 窄規 and 軌距 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 415-415 |
例 標準規 and 軌距 |
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 |
|