No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1045-1045 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 620-620 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1051-1051 |
geographicSubregion NewJersey and UnitedStates |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1041-1041 |
NewJersey est une instance de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1043-1043 |
NewJersey rencontre Delaware |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1042-1042 |
NewJersey rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1044-1044 |
NewJersey rencontre Pennsylvania |