No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1066-1066 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 631-631 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1062-1062 |
例 北卡羅來納 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1063-1063 |
空間的符合 北卡羅來納 and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1064-1064 |
空間的符合 北卡羅來納 and SouthCarolina |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1065-1065 |
空間的符合 北卡羅來納 and 田納西 |