No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1162-1162 |
病毒 和 有点 病毒部分 的 viral 部分 是 那个 病毒 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 711-711 |
美国佐治亚州亚特兰大 是 格鲁吉亚 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 662-662 |
澳大利亚 是 大洋洲 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 714-714 |
巴尔的摩马里兰州 是 马里兰 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 724-724 |
马萨诸塞州波士顿 是 马萨诸塞 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1611-1611 |
芝加哥美国 是 伊利诺伊 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 854-854 |
克利夫兰俄亥俄州 是 俄亥俄州 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 915-915 |
康涅狄格 是 新英格兰 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 851-851 |
达拉斯得克萨斯 是 德州 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 841-841 |
底特律密执安 是 密歇根州 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 835-835 |
法戈北达科他州 是 北达科他州 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1242-1242 |
德国 是 欧洲 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1245-1245 |
希腊 是 欧洲 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 828-828 |
休斯敦,德克萨斯州 是 德州 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 832-832 |
哈德逊河 是 纽约州 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 728-728 |
堪萨斯城密苏里州 是 密苏里州 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 820-820 |
朝鲜半岛 是 亚洲 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 805-805 |
长岛 是 纽约州 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 810-810 |
洛杉矶加利福尼亚州 是 加州 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 731-731 |
曼彻斯特新罕布什尔州 是 新罕布什尔 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 989-989 |
马萨诸塞 是 新英格兰 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 733-733 |
孟菲斯田纳西州 是 田纳西 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 737-737 |
明尼阿波利斯明尼苏达州 是 明尼苏达 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 740-740 |
密西西比河 是 美国 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 746-746 |
蒙特利尔加拿大 是 加拿大 的 part |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |