No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1128-1129 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 822-822 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1123-1123 |
Vermont e' uma instancia de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1125-1125 |
Vermont encontra Canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1127-1127 |
Vermont encontra Massachusetts |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1126-1126 |
Vermont encontra NewYorkState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1124-1124 |
Vermont e' uma &parte de NewEngland |