No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 905-905 |
空間的符合 加州 and 新墨西哥 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 911-911 |
空間的符合 科羅拉多州 and 新墨西哥 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1111-1111 |
空間的符合 德州 and 新墨西哥 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1121-1121 |
空間的符合 猶他州 and 新墨西哥 |
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 |
|