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	geographicSubregion DushanbeTajikistan and Tajikistan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1688-1688	DushanbeTajikistan e' uma instancia de Cidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2807-2807	DushanbeTajikistan se chama nome "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