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 est une instance de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1035-1035 |
NewHampshire rencontre Canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1038-1038 |
NewHampshire rencontre Massachusetts |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1036-1036 |
NewHampshire rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1037-1037 |
NewHampshire rencontre Vermont |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1034-1034 |
NewHampshire est une partie de NewEngland |