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 is an instance of american state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1125-1125 |
Vermont meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1127-1127 |
Vermont meets massachusetts |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1126-1126 |
Vermont meets new york state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1124-1124 |
Vermont is a part of new england |