|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3307-3307 | 马来西亚林吉特 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3311-3311 | 马里法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3315-3315 | 马耳他里拉 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3319-3319 | 毛里塔尼亚ouguiya 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3323-3323 | 毛里求斯卢比 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3327-3327 | 墨西哥比索 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3331-3331 | 摩尔多瓦列伊 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3335-3335 | 蒙古图格里克 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3339-3339 | 摩洛哥迪拉姆 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3343-3343 | 莫桑比克是梅蒂克 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3347-3347 | 缅甸缅元 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3351-3351 | 尼泊尔卢比 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3355-3355 | 新西兰元 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3359-3359 | 尼加拉瓜科多巴 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3363-3363 | 尼日尔法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3367-3367 | 尼日利亚奈拉 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3371-3371 | 北朝鲜赢了 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3375-3375 | 挪威克朗 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3379-3379 | 阿曼里亚尔 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3383-3383 | 巴基斯坦卢比 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3387-3387 | 巴拿马巴波亚 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3391-3391 | Papuan kina 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3395-3395 | 巴拉圭瓜拉尼 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3399-3399 | 秘鲁inti 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3403-3403 | 菲律宾比索 是 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