IstanbulTurkey - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1815-1815
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4992-4992
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4884-4884
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4991-4991
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4744-4744
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4993-4993
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2955-2955	geographicSubregion IstanbulTurkey and Turkey
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1814-1814	IstanbulTurkey e' uma instancia de Cidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2956-2956	IstanbulTurkey se chama nome "Istanbul"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31207-31207
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31206-31206
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31205-31205