|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3407-3407 | 波兰兹罗提 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3411-3411 | 葡萄牙埃斯库多 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3415-3415 | 卡塔里里亚尔 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3419-3419 | 罗马尼亚列伊 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3423-3423 | 俄罗斯卢布 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3427-3427 | 卢旺达法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3431-3431 | 圣多美普林西比多布拉 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3435-3435 | 沙特阿拉伯里亚尔 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3439-3439 | 塞内加尔法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3443-3443 | 塞舌尔卢比 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3447-3447 | 塞拉利昂利昂 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3451-3451 | 新加坡元 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3455-3455 | 斯洛伐克克朗 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3461-3461 | 索马里先令 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3465-3465 | 南非兰特 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3469-3469 | 韩国人赢了 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3473-3473 | 西班牙比塞塔 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3477-3477 | 斯里兰卡卢比 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3481-3481 | 苏丹镑 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3485-3485 | 苏里南盾 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3489-3489 | 斯威士兰利兰吉 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3493-3493 | 瑞典克朗 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3497-3497 | 瑞士法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3501-3501 | 叙利亚镑 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3505-3505 | 台湾元 是 UnitOfCurrency 的 instance |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners