No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 994-995 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 584-584 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 988-988 |
例 馬薩諸塞 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 992-992 |
空間的符合 馬薩諸塞 and 康涅狄格 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 991-991 |
空間的符合 馬薩諸塞 and 紐約州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 990-990 |
空間的符合 馬薩諸塞 and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 993-993 |
空間的符合 馬薩諸塞 and 羅德島 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 989-989 |
部分 馬薩諸塞 and 新英格蘭 |