SaintSebastianSpain - Sigma Knowledge base Browser

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	圣塞巴斯蒂安西班牙是城市的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3463-3463	圣塞巴斯蒂安西班牙的名是 "Saint Sebastian"
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