TreeView Knowledge Base Browser - SouthernSouthAmerica

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 174-174	南美洲南部是南美洲的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 250-250	南美洲南部是南半球的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 249-249	南美洲南部是西半球的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 98-98	例南美洲南部 and GeographicArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 513-513	阿根廷是南美洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 515-515	智利是南美洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 517-517	福克蘭群島是南美洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 518-518	南佐治亞和南三明治島嶼是南美洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 519-519	烏拉圭是南美洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 129-129	名 "Southern South America" and 南美洲南部
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54258-54258
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54257-54257
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54256-54256