No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2884-2884 |
阿富汗阿富汗尼 是 阿富汗 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2908-2908 |
阿富汗阿富汗尼 是 阿富汗阿富汗硬幣 的 currency 價值 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5688-5688 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5687-5687 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5686-5686 |
|