TreeView Knowledge Base Browser - SaintSebastianSpain

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2264-2264
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4280-4280
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4281-4281
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4277-4277
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4279-4279
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4278-4278
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3462-3462	聖塞巴斯蒂安西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2263-2263	例聖塞巴斯蒂安西班牙 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3463-3463	名 "Saint Sebastian" and 聖塞巴斯蒂安西班牙
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50871-50871
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50870-50870
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50869-50869