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 |
New hampshire is an instance of american state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1035-1035 |
New hampshire meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1038-1038 |
New hampshire meets massachusetts |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1036-1036 |
New hampshire meets north atlantic ocean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1037-1037 |
New hampshire meets vermont |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1034-1034 |
New hampshire is a part of new england |