|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3131-3131 | 爱沙尼亚克朗 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3135-3135 | 埃塞俄比亚比尔 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7400-7400 | 欧元分 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7395-7395 | 欧元 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3139-3139 | 斐济元 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3143-3143 | 芬兰马克卡 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2892-2892 | 法国法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3147-3147 | 加蓬法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3151-3151 | 冈比亚达拉西 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3155-3155 | 格鲁吉亚拉里 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2895-2895 | 德国马克 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3159-3159 | 加纳塞地 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3163-3163 | 希腊德拉克马 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3167-3167 | 格林纳达美元 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3171-3171 | 危地马拉格查尔 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3175-3175 | 几内亚比绍比索 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3179-3179 | 几内亚法郎 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3183-3183 | 圭亚那元 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3187-3187 | 海地古德 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3191-3191 | 洪都拉斯伦皮拉 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3195-3195 | 香港美元 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3199-3199 | 匈牙利福林 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3203-3203 | 冰岛克朗 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3207-3207 | 印度卢比 是 UnitOfCurrency 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3211-3211 | 印尼盾 是 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