No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 905-905 |
California meets new mexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 911-911 |
Colorado meets new mexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1111-1111 |
Texas meets new mexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1121-1121 |
Utah meets new mexico |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40319-40319 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40318-40318 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40317-40317 |
|