No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1019-1019 |
Montana 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1024-1024 |
Nebraska 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1029-1029 |
Nevada 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1033-1033 |
新罕布什尔 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1041-1041 |
新泽西州美国 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1046-1046 |
新墨西哥 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1053-1053 |
纽约州 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1062-1062 |
北卡罗来纳 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1067-1067 |
北达科他州 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1072-1072 |
俄亥俄州 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1079-1079 |
Oklahoma 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1081-1081 |
Oregon 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1085-1085 |
宾夕法尼亚 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1091-1091 |
罗德岛 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1095-1095 |
SouthCarolina 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1099-1099 |
SouthDakota 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1104-1104 |
田纳西 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1110-1110 |
德州 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1118-1118 |
犹他州 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1123-1123 |
佛蒙特 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1130-1130 |
弗吉尼亚州 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1139-1139 |
华盛顿 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1144-1144 |
WestVirginia 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1148-1148 |
Wisconsin 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1153-1153 |
怀俄明 是 美国国家 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |