|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2379-2379 | "GMD" in ISO-4217-A denotes gambian dalasi |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2380-2380 | "GNF" in ISO-4217-A denotes guinean franc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2381-2381 | "GRD" in ISO-4217-A denotes greek drachma |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2382-2382 | "GTQ" in ISO-4217-A denotes guatemalan quetzal |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2384-2384 | "GYD" in ISO-4217-A denotes guyana dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2385-2385 | "HKD" in ISO-4217-A denotes hong kong dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2386-2386 | "HNL" in ISO-4217-A denotes honduran lempira |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2388-2388 | "HTG" in ISO-4217-A denotes haitian gourde |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2389-2389 | "HUF" in ISO-4217-A denotes hungarian forint |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2390-2390 | "IDR" in ISO-4217-A denotes indonesian rupiah |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2391-2391 | "IEP" in ISO-4217-A denotes irish pound |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2392-2392 | "ILS" in ISO-4217-A denotes israeli shekel |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2393-2393 | "INR" in ISO-4217-A denotes indian rupee |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2394-2394 | "IQD" in ISO-4217-A denotes iraqi dinar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2395-2395 | "IRR" in ISO-4217-A denotes iranian rial |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2304-2304 | "ISK" in ISO-4217-A denotes icelandic krona |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2396-2396 | "ITL" in ISO-4217-A denotes italian lira |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2397-2397 | "JMD" in ISO-4217-A denotes jamaican dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2398-2398 | "JOD" in ISO-4217-A denotes jordanian dinar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2399-2399 | "JPY" in ISO-4217-A denotes japanese yen |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2400-2400 | "KES" in ISO-4217-A denotes kenyan shilling |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2401-2401 | "KGS" in ISO-4217-A denotes kyrgyzstani som |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2402-2402 | "KHR" in ISO-4217-A denotes cambodian riel |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2404-2404 | "KPW" in ISO-4217-A denotes north korean won |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2405-2405 | "KRW" in ISO-4217-A denotes south korean won |
| 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