|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2354-2354 | "CHF" in ISO-4217-A denotes swiss franc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2355-2355 | "CLP" in ISO-4217-A denotes chilean peso |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2356-2356 | "CNY" in ISO-4217-A denotes chinese yuan |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2357-2357 | "COP" in ISO-4217-A denotes colombian peso |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2358-2358 | "CRC" in ISO-4217-A denotes costa rican colon |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2359-2359 | "CUP" in ISO-4217-A denotes cuban peso |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2360-2360 | "CVE" in ISO-4217-A denotes cape verde escudo |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2361-2361 | "CYP" in ISO-4217-A denotes cypriot pound |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2362-2362 | "CZK" in ISO-4217-A denotes czech koruna |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2363-2363 | "DEM" in ISO-4217-A denotes german mark |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2364-2364 | "DJF" in ISO-4217-A denotes djibouti franc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2301-2301 | "DKK" in ISO-4217-A denotes danish krone |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2365-2365 | "DOP" in ISO-4217-A denotes dominican peso |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2366-2366 | "DZD" in ISO-4217-A denotes algerian dinar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2367-2367 | "EEK" in ISO-4217-A denotes estonian kroon |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2368-2368 | "EGP" in ISO-4217-A denotes egyptian pound |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2370-2370 | "ESP" in ISO-4217-A denotes spanish peseta |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2371-2371 | "ETB" in ISO-4217-A denotes ethiopian birr |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2302-2302 | "EUR" in ISO-4217-A denotes euro dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2372-2372 | "FIM" in ISO-4217-A denotes finnish markka |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2373-2373 | "FJD" in ISO-4217-A denotes fiji dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2375-2375 | "FRF" in ISO-4217-A denotes french franc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2303-2303 | "GBP" in ISO-4217-A denotes british pound |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2376-2376 | "GEL" in ISO-4217-A denotes georgian lari |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2377-2377 | "GHC" in ISO-4217-A denotes ghanian cedi |
| 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