ISO-4217-A

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


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