|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2406-2406 | "KWD" in ISO-4217-A denotes kuwaiti dinar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2407-2407 | "KYD" in ISO-4217-A denotes cayman islands dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2408-2408 | "KZT" in ISO-4217-A denotes kazakhstani tenge |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2409-2409 | "LAK" in ISO-4217-A denotes laotian kip |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2410-2410 | "LBP" in ISO-4217-A denotes lebanese pound |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2411-2411 | "LKR" in ISO-4217-A denotes sri lankan rupee |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2412-2412 | "LRD" in ISO-4217-A denotes liberian dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2305-2305 | "LSL" in ISO-4217-A denotes lesotho loti |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2413-2413 | "LTL" in ISO-4217-A denotes lithuanian litas |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2414-2414 | "LUF" in ISO-4217-A denotes luxembourg franc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2415-2415 | "LVL" in ISO-4217-A denotes latvian lats |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2416-2416 | "LYD" in ISO-4217-A denotes libyan dinar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2417-2417 | "MAD" in ISO-4217-A denotes moroccan dirham |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2418-2418 | "MDL" in ISO-4217-A denotes moldovan leu |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2419-2419 | "MGF" in ISO-4217-A denotes madagascar franc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2421-2421 | "MMK" in ISO-4217-A denotes myanmar kyat |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2422-2422 | "MNT" in ISO-4217-A denotes mongolian tugrik |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2423-2423 | "MOP" in ISO-4217-A denotes macao pataca |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2424-2424 | "MRO" in ISO-4217-A denotes mauritanian ouguiya |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2425-2425 | "MTL" in ISO-4217-A denotes maltese lira |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2426-2426 | "MUR" in ISO-4217-A denotes mauritian rupee |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2306-2306 | "MWK" in ISO-4217-A denotes malawian kwacha |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2428-2428 | "MXN" in ISO-4217-A denotes mexican peso |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2429-2429 | "MYR" in ISO-4217-A denotes malaysian ringgit |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2430-2430 | "MZM" in ISO-4217-A denotes mozambique metical |
| 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