TopkakiTurkey - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2394-2394
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5800-5800
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5660-5660
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5805-5805
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5799-5799
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5802-5802
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5801-5801
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3607-3607	geographicSubregion TopkakiTurkey and Turkey
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2393-2393	TopkakiTurkey est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3608-3608	TopkakiTurkey s'appele nom "Topkaki"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58462-58462
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58461-58461
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58460-58460