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 |
New york state is a geographic subregion of united states |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1053-1053 |
New york state is an instance of american state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1058-1058 |
New york state meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1060-1060 |
New york state meets new jersey united states |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1061-1061 |
New york state meets north atlantic ocean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1059-1059 |
New york state meets pennsylvania |