DushanbeTajikistan - Sigma Knowledge base Browser

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	杜尚别塔吉克斯坦是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2807-2807	杜尚别塔吉克斯坦的名是 "Dushanbe"
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