|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2379-2379 | "GMD" 在 ISO-4217-A denotes 岡比亞達拉西 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2380-2380 | "GNF" 在 ISO-4217-A denotes 幾內亞法郎 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2381-2381 | "GRD" 在 ISO-4217-A denotes 希臘德拉克馬 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2382-2382 | "GTQ" 在 ISO-4217-A denotes 危地馬拉格查爾 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2384-2384 | "GYD" 在 ISO-4217-A denotes 圭亞那元 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2385-2385 | "HKD" 在 ISO-4217-A denotes 香港美元 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2386-2386 | "HNL" 在 ISO-4217-A denotes 洪都拉斯倫皮拉 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2388-2388 | "HTG" 在 ISO-4217-A denotes 海地古德 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2389-2389 | "HUF" 在 ISO-4217-A denotes 匈牙利福林 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2390-2390 | "IDR" 在 ISO-4217-A denotes 印尼盾 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2391-2391 | "IEP" 在 ISO-4217-A denotes 愛爾蘭鎊 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2392-2392 | "ILS" 在 ISO-4217-A denotes 以色列謝克爾 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2393-2393 | "INR" 在 ISO-4217-A denotes 印度盧比 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2394-2394 | "IQD" 在 ISO-4217-A denotes 伊拉克第納爾 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2395-2395 | "IRR" 在 ISO-4217-A denotes 伊朗里亞爾 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2304-2304 | "ISK" 在 ISO-4217-A denotes 冰島克朗 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2396-2396 | "ITL" 在 ISO-4217-A denotes 意大利里拉 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2397-2397 | "JMD" 在 ISO-4217-A denotes 牙買加元 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2398-2398 | "JOD" 在 ISO-4217-A denotes 約旦第納爾 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2399-2399 | "JPY" 在 ISO-4217-A denotes 日圓 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2400-2400 | "KES" 在 ISO-4217-A denotes 肯尼亞先令 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2401-2401 | "KGS" 在 ISO-4217-A denotes 吉爾吉斯斯坦索姆 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2402-2402 | "KHR" 在 ISO-4217-A denotes 柬埔寨瑞爾 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2404-2404 | "KPW" 在 ISO-4217-A denotes 北朝鮮贏了 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2405-2405 | "KRW" 在 ISO-4217-A denotes 韓國人贏了 |
| 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