TreeView Knowledge Base Browser - SaintLouisMissouri

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 784-784
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5481-5481
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5487-5487
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5488-5488
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5482-5482
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5485-5485
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 782-782	例聖路易斯密蘇里州 and 美國城市
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 783-783	部分聖路易斯密蘇里州 and 密蘇里州

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50847-50847
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50846-50846
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50845-50845