No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 865-865 |
阿拉巴马 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 869-869 |
阿拉斯加州 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 883-883 |
Arizona 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 889-889 |
阿肯色州 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 895-895 |
加州 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 908-908 |
科罗拉多州 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 914-914 |
康涅狄格 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 918-918 |
Delaware 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 924-924 |
佛罗里达 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 930-930 |
格鲁吉亚 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 935-935 |
夏威夷 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 939-939 |
Idaho 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 947-947 |
伊利诺伊 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 952-952 |
Indiana 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 955-955 |
Iowa 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 960-960 |
Kansas 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 965-965 |
肯塔基 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 971-971 |
路易斯安那州 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 976-976 |
Maine 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 981-981 |
马里兰 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 988-988 |
马萨诸塞 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 996-996 |
密歇根州 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1002-1002 |
明尼苏达 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1008-1008 |
密西西比州 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1014-1014 |
密苏里州 是 美国国家 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |