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 |
geographicSubregion NewYorkState and UnitedStates |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1053-1053 |
NewYorkState e' uma instancia de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1058-1058 |
NewYorkState encontra Canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1060-1060 |
NewYorkState encontra NewJersey |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1061-1061 |
NewYorkState encontra NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1059-1059 |
NewYorkState encontra Pennsylvania |