No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 870-870 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 215-215 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 869-869 |
例 阿拉斯加州 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 882-882 |
空間的符合 阿拉斯加州 and 北冰洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 880-880 |
空間的符合 阿拉斯加州 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 881-881 |
空間的符合 阿拉斯加州 and 太平洋 |