TreeView Knowledge Base Browser - KansasCityMissouri

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 727-727
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4923-4923
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5057-5057
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5055-5055
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5058-5058
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5056-5056
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5054-5054
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 726-726	例堪薩斯城密蘇里州 and 美國城市
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 728-728	部分堪薩斯城密蘇里州 and 密蘇里州

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32095-32095
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32094-32094
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32093-32093