No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1128-1129 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 822-822 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1123-1123 |
例 佛蒙特 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1125-1125 |
空間的符合 佛蒙特 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1127-1127 |
空間的符合 佛蒙特 and 馬薩諸塞 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1126-1126 |
空間的符合 佛蒙特 and 紐約州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1124-1124 |
部分 佛蒙特 and 新英格蘭 |