MovingTowardsPeople NewMexico
|
|
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 | 例 新墨西哥 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1047-1047 | 空間的符合 新墨西哥 and Arizona |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1048-1048 | 空間的符合 新墨西哥 and 墨西哥 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 905-905 | 空間的符合 加州 and 新墨西哥 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 911-911 | 空間的符合 科羅拉多州 and 新墨西哥 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1111-1111 | 空間的符合 德州 and 新墨西哥 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1121-1121 | 空間的符合 猶他州 and 新墨西哥 |
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 |