NewMexico - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1049-1049
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 621-621
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1046-1046	新墨西哥是美国国家的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1047-1047	新墨西哥接上 Arizona
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1048-1048	新墨西哥接上墨西哥

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 905-905	加州接上新墨西哥
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 911-911	科罗拉多州接上新墨西哥
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1111-1111	德州接上新墨西哥
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1121-1121	犹他州接上新墨西哥
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40317-40317
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40316-40316
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40315-40315