KansasCityMissouri - Sigma Knowledge base Browser

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	堪萨斯城密苏里州是美国城市的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 728-728	堪萨斯城密苏里州是密苏里州的 part

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