TajikSomoniCoin - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2926-2926	塔吉克索莫尼是塔吉克索莫尼硬幣的 currency 價值
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4367-4367
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4365-4365
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4366-4366
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4039-4039
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2925-2925	子類塔吉克索莫尼硬幣 and 貨幣硬幣

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56845-56845
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56844-56844
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56843-56843