|
|
  YugoslavianDinar
|
|
|
| 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 | 南斯拉夫第纳尔 是 UnitOfCurrency 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3587-3587 | 南斯拉夫第纳尔 是 南斯拉夫 的 currency 类别 |
| 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" 在 ISO-4217-A denotes 南斯拉夫第纳尔 |
|
|
|
