|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2488-2488 | "YER" in ISO-4217-A denotes yemeni rial |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2489-2489 | "YUM" in ISO-4217-A denotes yugoslavian dinar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2312-2312 | "ZAR" in ISO-4217-A denotes south african rand |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2313-2313 | "ZMK" in ISO-4217-A denotes zambian kwacha |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2314-2314 | "ZWD" in ISO-4217-A denotes zimbabwean dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2279-2284 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2278-2278 | ISO-4217-A is an instance of currency code map |
|
|
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