| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 865-865 |
例 阿拉巴馬 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 869-869 |
例 阿拉斯加州 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 883-883 |
例 Arizona and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 889-889 |
例 阿肯色州 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 895-895 |
例 加州 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 908-908 |
例 科羅拉多州 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 914-914 |
例 康涅狄格 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 918-918 |
例 Delaware and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 924-924 |
例 佛羅里達 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 930-930 |
例 格魯吉亞 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 935-935 |
例 夏威夷 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 939-939 |
例 Idaho and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 947-947 |
例 伊利諾伊 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 952-952 |
例 Indiana and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 955-955 |
例 Iowa and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 960-960 |
例 Kansas and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 965-965 |
例 肯塔基 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 971-971 |
例 路易斯安那州 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 976-976 |
例 Maine and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 981-981 |
例 馬里蘭 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 988-988 |
例 馬薩諸塞 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 996-996 |
例 密歇根州 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1002-1002 |
例 明尼蘇達 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1008-1008 |
例 密西西比州 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1014-1014 |
例 密蘇里州 and 美國國家 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
