BosphorousStraitsTurkey - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5712-5712
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5716-5716
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5713-5713
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5715-5715
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5714-5714
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5600-5600
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2670-2670	geographicSubregion BosphorousStraitsTurkey and Turkey
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2669-2669	BosphorousStraitsTurkey e' uma instancia de Area Geografica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2671-2671	BosphorousStraitsTurkey se chama nome "BosphorousStraits"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11693-11693
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11692-11692
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11691-11691