| 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 | 北达科他州 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1070-1070 | 北达科他州 接上 加拿大 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1068-1068 | 北达科他州 接上 Montana |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1069-1069 | 北达科他州 接上 SouthDakota |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1004-1004 | 明尼苏达 接上 北达科他州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 835-835 | 法戈北达科他州 是 北达科他州 的 part |
| 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 |
|
|
|