more pictures...
| YugoslavianDinar(yugoslavian dinar)
more pictures... | | Yugoslavian_dinar, dinar |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4465-4465 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4463-4463 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4065-4065 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4466-4466 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4467-4467 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4464-4464 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4460-4460 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3585-3585 | Yugoslavian dinar is an instance of unit of currency |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3587-3587 | Yugoslavian dinar is a currency type of yugoslavia |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63967-63967 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63966-63966 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63965-63965 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2489-2489 | "YUM" in ISO-4217-A denotes yugoslavian dinar |
|
|
|