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 e' uma instancia de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1043-1043 |
NewJersey encontra Delaware |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1042-1042 |
NewJersey encontra NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1044-1044 |
NewJersey encontra Pennsylvania |