| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1054-1054 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 622-622 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5387-5387 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5389-5389 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5151-5151 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5388-5388 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5390-5390 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5386-5386 |
|
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1055-1055 |
纽约州 是 美国 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1053-1053 |
纽约州 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1058-1058 |
纽约州 接上 加拿大 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1060-1060 |
纽约州 接上 新泽西州美国 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1061-1061 |
纽约州 接上 北大西洋 |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1059-1059 |
纽约州 接上 宾夕法尼亚 |
more pictures...