ISO-4217-A

-------------------------


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