| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2969-2969 |
欧元 是 奥地利 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2997-2997 |
欧元 是 比利时 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3093-3093 |
欧元 是 塞浦路斯 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3133-3133 |
欧元 是 爱沙尼亚 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3145-3145 |
欧元 是 芬兰 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2893-2893 |
欧元 是 法国 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2896-2896 |
欧元 是 德国 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3165-3165 |
欧元 是 希腊 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3225-3225 |
欧元 是 爱尔兰 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2899-2899 |
欧元 是 意大利 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3269-3269 |
欧元 是 拉脱维亚 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3289-3289 |
欧元 是 立陶宛 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3293-3293 |
欧元 是 卢森堡 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3317-3317 |
欧元 是 马耳他 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3101-3101 |
欧元 是 荷兰 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3413-3413 |
欧元 是 葡萄牙 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3457-3457 |
欧元 是 斯洛伐克 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3459-3459 |
欧元 是 斯洛文尼亚 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3475-3475 |
欧元 是 西班牙 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22510-22510 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22509-22509 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22508-22508 |
|
