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	Saint sebastian spain is a geographic subregion of spain
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2263-2263	Saint sebastian spain is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3463-3463	Saint sebastian spain has name "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