No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3245-3245 |
子類 三級鐵路 and 鐵路公司 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3239-3239 |
子類 二級鐵路 and 鐵路公司 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3233-3233 |
子類 classI鐵路 and 鐵路公司 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48638-48638 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48637-48637 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48636-48636 |
|