|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2354-2354 | codeMapping ISO-4217-A, "CHF" and SwissFranc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2355-2355 | codeMapping ISO-4217-A, "CLP" and ChileanPeso |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2356-2356 | codeMapping ISO-4217-A, "CNY" and ChineseYuan |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2357-2357 | codeMapping ISO-4217-A, "COP" and ColombianPeso |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2358-2358 | codeMapping ISO-4217-A, "CRC" and CostaRicanColon |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2359-2359 | codeMapping ISO-4217-A, "CUP" and CubanPeso |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2360-2360 | codeMapping ISO-4217-A, "CVE" and CapeVerdeEscudo |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2361-2361 | codeMapping ISO-4217-A, "CYP" and CypriotPound |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2362-2362 | codeMapping ISO-4217-A, "CZK" and CzechKoruna |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2363-2363 | codeMapping ISO-4217-A, "DEM" and GermanMark |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2364-2364 | codeMapping ISO-4217-A, "DJF" and DjiboutiFranc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2301-2301 | codeMapping ISO-4217-A, "DKK" and DanishKrone |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2365-2365 | codeMapping ISO-4217-A, "DOP" and DominicanPeso |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2366-2366 | codeMapping ISO-4217-A, "DZD" and AlgerianDinar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2367-2367 | codeMapping ISO-4217-A, "EEK" and EstonianKroon |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2368-2368 | codeMapping ISO-4217-A, "EGP" and EgyptianPound |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2370-2370 | codeMapping ISO-4217-A, "ESP" and SpanishPeseta |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2371-2371 | codeMapping ISO-4217-A, "ETB" and EthiopianBirr |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2302-2302 | codeMapping ISO-4217-A, "EUR" and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2372-2372 | codeMapping ISO-4217-A, "FIM" and FinnishMarkka |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2373-2373 | codeMapping ISO-4217-A, "FJD" and FijiDollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2375-2375 | codeMapping ISO-4217-A, "FRF" and FrenchFranc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2303-2303 | codeMapping ISO-4217-A, "GBP" and BritishPound |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2376-2376 | codeMapping ISO-4217-A, "GEL" and GeorgianLari |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2377-2377 | codeMapping ISO-4217-A, "GHC" and GhanianCedi |
| 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