TolosaSpain - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2392-2392
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10296-10296
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12006-12006
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12007-12007
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12008-12008
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12009-12009
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12010-12010
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3605-3605	Tolosa spain is a geographic subregion of spain
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2391-2391	Tolosa spain is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3606-3606	Tolosa spain has name "Tolosa"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58382-58382
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58381-58381
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58380-58380