|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2432-2432 | "NGN" in ISO-4217-A denotes nigerian naira |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2433-2433 | "NIO" in ISO-4217-A denotes nicaraguan cordoba |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2434-2434 | "NLG" in ISO-4217-A denotes dutch guilder |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2307-2307 | "NOK" in ISO-4217-A denotes norwegian krone |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2435-2435 | "NPR" in ISO-4217-A denotes nepalese rupee |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2308-2308 | "NZD" in ISO-4217-A denotes new zealand dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2436-2436 | "OMR" in ISO-4217-A denotes omani riyal |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2437-2437 | "PAB" in ISO-4217-A denotes panamanian balboa |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2438-2438 | "PEI" in ISO-4217-A denotes peruvian inti |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2440-2440 | "PGK" in ISO-4217-A denotes papuan kina |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2441-2441 | "PHP" in ISO-4217-A denotes philippine peso |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2442-2442 | "PKR" in ISO-4217-A denotes pakistani rupee |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2443-2443 | "PLN" in ISO-4217-A denotes polish zloty |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2444-2444 | "PTE" in ISO-4217-A denotes portuguese escudo |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2445-2445 | "PYG" in ISO-4217-A denotes paraguayan guarani |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2446-2446 | "QAR" in ISO-4217-A denotes qatari riyal |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2447-2447 | "ROL" in ISO-4217-A denotes romanian leu |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2448-2448 | "RUB" in ISO-4217-A denotes russian ruble |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2449-2449 | "RWF" in ISO-4217-A denotes rwanda franc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2450-2450 | "SAR" in ISO-4217-A denotes saudi arabian riyal |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2452-2452 | "SCR" in ISO-4217-A denotes seychelles rupee |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2454-2454 | "SDG" in ISO-4217-A denotes sudanese pound |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2309-2309 | "SEK" in ISO-4217-A denotes swedish krona |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2455-2455 | "SGD" in ISO-4217-A denotes singapore dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2458-2458 | "SKK" in ISO-4217-A denotes slovakian koruna |
| 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