|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2406-2406 | "KWD" 在 ISO-4217-A denotes 科威特第納爾 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2407-2407 | "KYD" 在 ISO-4217-A denotes 開曼群島美元 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2408-2408 | "KZT" 在 ISO-4217-A denotes 哈薩克斯坦堅戈 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2409-2409 | "LAK" 在 ISO-4217-A denotes 老天基普 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2410-2410 | "LBP" 在 ISO-4217-A denotes 黎巴嫩鎊 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2411-2411 | "LKR" 在 ISO-4217-A denotes 斯里蘭卡盧比 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2412-2412 | "LRD" 在 ISO-4217-A denotes 利比里亞元 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2305-2305 | "LSL" 在 ISO-4217-A denotes 萊索托洛蒂 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2413-2413 | "LTL" 在 ISO-4217-A denotes 立陶宛立特 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2414-2414 | "LUF" 在 ISO-4217-A denotes 盧森堡法郎 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2415-2415 | "LVL" 在 ISO-4217-A denotes 拉脫維亞拉特 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2416-2416 | "LYD" 在 ISO-4217-A denotes 利比亞第納爾 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2417-2417 | "MAD" 在 ISO-4217-A denotes 摩洛哥迪拉姆 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2418-2418 | "MDL" 在 ISO-4217-A denotes 摩爾多瓦列伊 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2419-2419 | "MGF" 在 ISO-4217-A denotes 馬達加斯加法郎 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2421-2421 | "MMK" 在 ISO-4217-A denotes 緬甸緬元 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2422-2422 | "MNT" 在 ISO-4217-A denotes 蒙古圖格里克 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2423-2423 | "MOP" 在 ISO-4217-A denotes 澳門帕塔卡 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2424-2424 | "MRO" 在 ISO-4217-A denotes 毛里塔尼亞ouguiya |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2425-2425 | "MTL" 在 ISO-4217-A denotes 馬耳他里拉 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2426-2426 | "MUR" 在 ISO-4217-A denotes 毛里求斯盧比 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2306-2306 | "MWK" 在 ISO-4217-A denotes malawian 克瓦查 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2428-2428 | "MXN" 在 ISO-4217-A denotes 墨西哥比索 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2429-2429 | "MYR" 在 ISO-4217-A denotes 馬來西亞林吉特 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2430-2430 | "MZM" 在 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