ReusSpain - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2238-2238
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5465-5465
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5165-5165
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5466-5466
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3429-3429	Reus spain is a geographic subregion of spain
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2237-2237	Reus spain is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3430-3430	Reus spain has name "Reus"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49868-49868
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49867-49867
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49866-49866