IzmirTurkey - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1819-1819
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4749-4749
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5004-5004
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5001-5001
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5002-5002
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2959-2959	geographicSubregion IzmirTurkey and Turkey
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1818-1818	IzmirTurkey e' uma instancia de Cidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2960-2960	IzmirTurkey se chama nome "Izmir"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31345-31345
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31344-31344
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31343-31343