| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2902-2902 |
日圓 是 日本 的 currency 類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2924-2924 |
日圓 是 日元硬幣 的 currency 價值 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31495-31495 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31494-31494 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31493-31493 |
|
