No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 880-880 |
Alaska meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 940-940 |
Idaho meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 978-978 |
Maine meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 999-999 |
Michigan meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1003-1003 |
Minnesota meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1020-1020 |
Montana meets canada |
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 1058-1058 |
New york state meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1070-1070 |
North dakota meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1076-1076 |
Ohio meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1090-1090 |
Pennsylvania meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1125-1125 |
Vermont meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1140-1140 |
Washington meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4081-4081 |
Canada has name "Canada" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 746-746 |
Montreal canada is a part of canada |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12877-12877 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12876-12876 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12875-12875 |
|