|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2354-2354 | "CHF" 在 ISO-4217-A denotes 瑞士法郎 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2355-2355 | "CLP" 在 ISO-4217-A denotes 智利比索 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2356-2356 | "CNY" 在 ISO-4217-A denotes 人民币 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2357-2357 | "COP" 在 ISO-4217-A denotes 哥伦比亚比索 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2358-2358 | "CRC" 在 ISO-4217-A denotes 哥斯达黎加结肠 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2359-2359 | "CUP" 在 ISO-4217-A denotes 古巴比索 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2360-2360 | "CVE" 在 ISO-4217-A denotes 佛得角埃斯库多 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2361-2361 | "CYP" 在 ISO-4217-A denotes 塞浦路斯镑 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2362-2362 | "CZK" 在 ISO-4217-A denotes 捷克克朗 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2363-2363 | "DEM" 在 ISO-4217-A denotes 德国马克 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2364-2364 | "DJF" 在 ISO-4217-A denotes 吉布提法郎 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2301-2301 | "DKK" 在 ISO-4217-A denotes 丹麦克朗 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2365-2365 | "DOP" 在 ISO-4217-A denotes 多米尼加比索 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2366-2366 | "DZD" 在 ISO-4217-A denotes 阿尔及利亚第纳尔 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2367-2367 | "EEK" 在 ISO-4217-A denotes 爱沙尼亚克朗 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2368-2368 | "EGP" 在 ISO-4217-A denotes 埃及镑 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2370-2370 | "ESP" 在 ISO-4217-A denotes 西班牙比塞塔 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2371-2371 | "ETB" 在 ISO-4217-A denotes 埃塞俄比亚比尔 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2302-2302 | "EUR" 在 ISO-4217-A denotes 欧元 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2372-2372 | "FIM" 在 ISO-4217-A denotes 芬兰马克卡 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2373-2373 | "FJD" 在 ISO-4217-A denotes 斐济元 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2375-2375 | "FRF" 在 ISO-4217-A denotes 法国法郎 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2303-2303 | "GBP" 在 ISO-4217-A denotes 英镑 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2376-2376 | "GEL" 在 ISO-4217-A denotes 格鲁吉亚拉里 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2377-2377 | "GHC" 在 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