TreeView Knowledge Base Browser - BosphorousStraitsTurkey

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	博斯普魯斯海峽火雞是火雞的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2669-2669	例博斯普魯斯海峽火雞 and GeographicArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2671-2671	名 "BosphorousStraits" and 博斯普魯斯海峽火雞
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