No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1039-1040 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 619-619 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1033-1033 |
NewHampshire e' uma instancia de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1035-1035 |
NewHampshire encontra Canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1038-1038 |
NewHampshire encontra Massachusetts |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1036-1036 |
NewHampshire encontra NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1037-1037 |
NewHampshire encontra Vermont |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1034-1034 |
NewHampshire e' uma &parte de NewEngland |