|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2459-2459 | "SLL" in ISO-4217-A denotes sierra leone leone |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2460-2460 | "SOS" in ISO-4217-A denotes somalian shilling |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2462-2462 | "SRG" in ISO-4217-A denotes surinamese guilder |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2463-2463 | "STD" in ISO-4217-A denotes sao thomeE principe dobra |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2464-2464 | "SVC" in ISO-4217-A denotes el salvadoran colon |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2465-2465 | "SYP" in ISO-4217-A denotes syrian pound |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2310-2310 | "SZL" in ISO-4217-A denotes swaziland lilangeni |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2466-2466 | "THB" in ISO-4217-A denotes thai baht |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2467-2467 | "TJS" in ISO-4217-A denotes tajik somoni |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2468-2468 | "TMM" in ISO-4217-A denotes turkmen manat |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2469-2469 | "TND" in ISO-4217-A denotes tunisian dinar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2470-2470 | "TOP" in ISO-4217-A denotes tongan paanga |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2472-2472 | "TRL" in ISO-4217-A denotes turkish lira |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2473-2473 | "TTD" in ISO-4217-A denotes trinidad and tobago dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2474-2474 | "TWD" in ISO-4217-A denotes taiwan dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2475-2475 | "TZS" in ISO-4217-A denotes tanzanian shilling |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2476-2476 | "UAH" in ISO-4217-A denotes ukranian hryvnia |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2477-2477 | "UGX" in ISO-4217-A denotes ugandan shilling |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2311-2311 | "USD" in ISO-4217-A denotes united states dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2478-2478 | "UYU" in ISO-4217-A denotes uruguayan peso |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2479-2479 | "UZS" in ISO-4217-A denotes uzbekistani som |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2480-2480 | "VEB" in ISO-4217-A denotes venezuelan bolivar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2481-2481 | "VND" in ISO-4217-A denotes vietnamese dong |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2484-2484 | "XAF" in ISO-4217-A denotes cameroon franc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2486-2486 | "XOF" in ISO-4217-A denotes benin franc |
| 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