LogronoSpain - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1969-1969
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5303-5303
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5305-5305
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5133-5133
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5304-5304
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5306-5306
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3132-3132	Logrono spain is a geographic subregion of spain
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1968-1968	Logrono spain is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3133-3133	Logrono spain has name "Logorno"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34937-34937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34936-34936
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34935-34935