No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1039-1040 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 619-619 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1033-1033 |
例 新罕布什爾 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1035-1035 |
空間的符合 新罕布什爾 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1038-1038 |
空間的符合 新罕布什爾 and 馬薩諸塞 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1036-1036 |
空間的符合 新罕布什爾 and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1037-1037 |
空間的符合 新罕布什爾 and 佛蒙特 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1034-1034 |
部分 新罕布什爾 and 新英格蘭 |