|
| 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