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 e' uma instancia de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1137-1137 |
Virginia encontra Kentucky |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1134-1134 |
Virginia encontra NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1135-1135 |
Virginia encontra NorthCarolina |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1136-1136 |
Virginia encontra Tennessee |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1133-1133 |
Virginia encontra WashingtonDCUnitedStates |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1138-1138 |
Virginia encontra WestVirginia |