No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 880-880 |
空間的符合 阿拉斯加州 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 940-940 |
空間的符合 Idaho and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 978-978 |
空間的符合 Maine and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 999-999 |
空間的符合 密歇根州 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1003-1003 |
空間的符合 明尼蘇達 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1020-1020 |
空間的符合 Montana and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1035-1035 |
空間的符合 新罕布什爾 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1058-1058 |
空間的符合 紐約州 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1070-1070 |
空間的符合 北達科他州 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1076-1076 |
空間的符合 俄亥俄州 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1090-1090 |
空間的符合 賓夕法尼亞 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1125-1125 |
空間的符合 佛蒙特 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1140-1140 |
空間的符合 華盛頓 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4081-4081 |
名 "Canada" and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 746-746 |
部分 蒙特利爾加拿大 and 加拿大 |
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 |
|