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	西南歐是歐洲的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 230-230	西南歐是北半球的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 90-90	例西南歐 and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 228-228	在空間上重疊西南歐 and 東半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 229-229	在空間上重疊西南歐 and 西半球

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 390-390	安道爾是西南歐的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 392-392	直布羅陀是西南歐的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 393-393	葡萄牙是西南歐的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 395-395	西班牙是西南歐的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 120-120	名 "Southwestern Europe" and 西南歐
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