|
|
  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 | NorthDakota est une instance de AmericanState |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1070-1070 | NorthDakota rencontre Canada |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1068-1068 | NorthDakota rencontre Montana |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1069-1069 | NorthDakota rencontre SouthDakota |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1004-1004 | Minnesota rencontre NorthDakota |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 835-835 | FargoNorthDakota est une partie de NorthDakota |
| 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 |
|
|
|
