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 |
佛蒙特 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1125-1125 |
佛蒙特 接上 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1127-1127 |
佛蒙特 接上 马萨诸塞 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1126-1126 |
佛蒙特 接上 纽约州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1124-1124 |
佛蒙特 是 新英格兰 的 part |