MemphisTennessee - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 734-735
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5346-5346
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5345-5345
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5143-5143
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 729-729	孟菲斯田纳西州是美国城市的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 733-733	孟菲斯田纳西州是田纳西的 part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37061-37061
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37060-37060
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37059-37059