LibyanDinar(libyan dinar) more pictures... | Libyan_dinar, dinar |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3937-3937 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3936-3936 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3940-3940 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3939-3939 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3938-3938 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3283-3283 | Libyan 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 3285-3285 | Libyan dinar is a currency type of libya |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34283-34283 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34282-34282 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34281-34281 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2416-2416 | "LYD" in ISO-4217-A denotes libyan dinar |