|
|
  NorthDakota
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1071-1071 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 632-632 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1067-1067 | 例 北達科他州 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1070-1070 | 空間的符合 北達科他州 and 加拿大 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1068-1068 | 空間的符合 北達科他州 and Montana |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1069-1069 | 空間的符合 北達科他州 and SouthDakota |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1004-1004 | 空間的符合 明尼蘇達 and 北達科他州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 835-835 | 部分 法戈北達科他州 and 北達科他州 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41001-41001 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41000-41000 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40999-40999 |
|
|
|
