Missouri - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1018-1018
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 599-599
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1014-1014	密苏里州是美国国家的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1016-1016	密苏里州接上 Kansas
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1015-1015	密苏里州接上 Nebraska
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1017-1017	密苏里州接上 Oklahoma

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 949-949	伊利诺伊接上密苏里州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 958-958	Iowa 接上密苏里州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 967-967	肯塔基接上密苏里州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1108-1108	田纳西接上密苏里州
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 728-728	堪萨斯城密苏里州是密苏里州的 part
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 783-783	圣路易斯密苏里州是密苏里州的 part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38061-38061
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38060-38060
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38059-38059