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	Bosphorous straits turkey is a geographic subregion of turkey
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2669-2669	Bosphorous straits turkey is an instance of geographic area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2671-2671	Bosphorous straits turkey has name "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