TreeView Knowledge Base Browser - NorthernSouthAmerica

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 173-173	北美洲南部是南美洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 245-245	北美洲南部是西半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 97-97	北美洲南部是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 246-246	北美洲南部和北半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 247-247	北美洲南部和南半球重叠

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 503-503	哥伦比亚是北美洲南部的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 505-505	法属圭亚那是北美洲南部的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 506-506	圭亚那是北美洲南部的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 508-508	苏里南是北美洲南部的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 510-510	委内瑞拉是北美洲南部的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 128-128	北美洲南部的名是 "Northern South America"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41151-41151
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41150-41150
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41149-41149