No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 926-926 |
佛罗里达 接上 阿拉巴马 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 933-933 |
格鲁吉亚 接上 阿拉巴马 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1105-1105 |
田纳西 接上 阿拉巴马 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6372-6372 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6371-6371 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6370-6370 |
|