No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 905-905 |
California rencontre NewMexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 911-911 |
Colorado rencontre NewMexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1111-1111 |
Texas rencontre NewMexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1121-1121 |
Utah rencontre NewMexico |
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 |
|