TreeView Knowledge Base Browser - SouthwesternEurope

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 162-162	geographicSubregion SouthwesternEurope and Europe
No TPTP formula. May not be expressible in strict first order.	Geography.kif 230-230	geographicSubregion SouthwesternEurope and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 90-90	SouthwesternEurope e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 228-228	SouthwesternEurope engloba EasternHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 229-229	SouthwesternEurope engloba WesternHemisphere

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 390-390	geographicSubregion Andorra and SouthwesternEurope
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 392-392	geographicSubregion Gibraltar and SouthwesternEurope
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 393-393	geographicSubregion Portugal and SouthwesternEurope
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 395-395	geographicSubregion Spain and SouthwesternEurope
No TPTP formula. May not be expressible in strict first order.	Geography.kif 120-120	SouthwesternEurope se chama nome "Southwestern Europe"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54354-54354
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54353-54353
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54352-54352