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 |
North dakota is an instance of american state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1070-1070 |
North dakota meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1068-1068 |
North dakota meets Montana |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1069-1069 |
North dakota meets South Dakota |