LibyanDinar
|
|
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 | LibyanDinar e' uma instancia de UnitOfCurrency |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3285-3285 | currencyType Libya and LibyanDinar |
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 | codeMapping ISO-4217-A, "LYD" and LibyanDinar |