MalagaSpain - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2005-2005
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4166-4166
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4165-4165
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4167-4167
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3986-3986
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4168-4168
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4169-4169
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3174-3174	Malaga spain is a geographic subregion of spain
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2004-2004	Malaga spain is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3175-3175	Malaga spain has name "Malaga"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35759-35759
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35758-35758
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35757-35757