No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1143-1143 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 832-832 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1139-1139 |
例 華盛頓 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1140-1140 |
空間的符合 華盛頓 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1142-1142 |
空間的符合 華盛頓 and Oregon |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1141-1141 |
空間的符合 華盛頓 and 太平洋 |