TreeView Knowledge Base Browser - DushanbeTajikistan

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1689-1689
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5613-5613
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5730-5730
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5729-5729
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5728-5728
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2806-2806	杜尚別塔吉克斯坦是塔吉克斯坦的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1688-1688	例杜尚別塔吉克斯坦 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2807-2807	名 "Dushanbe" and 杜尚別塔吉克斯坦
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20712-20712
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20711-20711
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20710-20710