No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1131-1132 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 826-826 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1130-1130 |
Virginia is an instance of american state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1137-1137 |
Virginia meets kentucky |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1134-1134 |
Virginia meets north atlantic ocean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1135-1135 |
Virginia meets north carolina |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1136-1136 |
Virginia meets tennessee |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1133-1133 |
Virginia meets washingtonDC united states |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1138-1138 |
Virginia meets West virginia |