No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 905-905 |
加州 接上 新墨西哥 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 911-911 |
科罗拉多州 接上 新墨西哥 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1111-1111 |
德州 接上 新墨西哥 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1121-1121 |
犹他州 接上 新墨西哥 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40317-40317 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40316-40316 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40315-40315 |
|