|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2379-2379 | codeMapping ISO-4217-A, "GMD" and GambianDalasi |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2380-2380 | codeMapping ISO-4217-A, "GNF" and GuineanFranc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2381-2381 | codeMapping ISO-4217-A, "GRD" and GreekDrachma |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2382-2382 | codeMapping ISO-4217-A, "GTQ" and GuatemalanQuetzal |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2384-2384 | codeMapping ISO-4217-A, "GYD" and GuyanaDollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2385-2385 | codeMapping ISO-4217-A, "HKD" and HongKongDollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2386-2386 | codeMapping ISO-4217-A, "HNL" and HonduranLempira |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2388-2388 | codeMapping ISO-4217-A, "HTG" and HaitianGourde |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2389-2389 | codeMapping ISO-4217-A, "HUF" and HungarianForint |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2390-2390 | codeMapping ISO-4217-A, "IDR" and IndonesianRupiah |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2391-2391 | codeMapping ISO-4217-A, "IEP" and IrishPound |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2392-2392 | codeMapping ISO-4217-A, "ILS" and IsraeliShekel |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2393-2393 | codeMapping ISO-4217-A, "INR" and IndianRupee |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2394-2394 | codeMapping ISO-4217-A, "IQD" and IraqiDinar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2395-2395 | codeMapping ISO-4217-A, "IRR" and IranianRial |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2304-2304 | codeMapping ISO-4217-A, "ISK" and IcelandicKrona |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2396-2396 | codeMapping ISO-4217-A, "ITL" and ItalianLira |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2397-2397 | codeMapping ISO-4217-A, "JMD" and JamaicanDollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2398-2398 | codeMapping ISO-4217-A, "JOD" and JordanianDinar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2399-2399 | codeMapping ISO-4217-A, "JPY" and JapaneseYen |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2400-2400 | codeMapping ISO-4217-A, "KES" and KenyanShilling |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2401-2401 | codeMapping ISO-4217-A, "KGS" and KyrgyzstaniSom |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2402-2402 | codeMapping ISO-4217-A, "KHR" and CambodianRiel |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2404-2404 | codeMapping ISO-4217-A, "KPW" and NorthKoreanWon |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2405-2405 | codeMapping ISO-4217-A, "KRW" and SouthKoreanWon |
| 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