TreeView Knowledge Base Browser - NashvilleTennessee

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 754-754
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5372-5372
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5371-5371
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5370-5370
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5148-5148
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5373-5373
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 752-752	例納什維爾田納西州 and 美國城市
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 753-753	部分納什維爾田納西州 and 田納西

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39777-39777
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39776-39776
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39775-39775