TreeView Knowledge Base Browser - ManchesterNewHampshire

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 732-732
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5334-5334
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5333-5333
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5331-5331
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 730-730	例曼徹斯特新罕布什爾州 and 美國城市
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 731-731	部分曼徹斯特新罕布什爾州 and 新罕布什爾

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35945-35945
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35944-35944
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35943-35943