TreeView Knowledge Base Browser - NorthernNorthAmerica

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 164-164	北美洲北部是北美的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 92-92	北美洲北部是地理区域的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 408-408	加拿大是北美洲北部的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 411-411	格陵兰是北美洲北部的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 412-412	圣皮埃尔和密克隆是北美洲北部的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 122-122	北美洲北部的名是 "Northern North America"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41127-41127
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41126-41126
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41125-41125