No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 994-995 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 584-584 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 988-988 |
Massachusetts is an instance of american state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 992-992 |
Massachusetts meets connecticut |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 991-991 |
Massachusetts meets new york state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 990-990 |
Massachusetts meets north atlantic ocean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 993-993 |
Massachusetts meets rhode island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 989-989 |
Massachusetts is a part of new england |